Cell: +1-832-660-7089
Email: agnishom@rice.edu
PhD Candidate: Computer Science
Bachelor of Science: Mathematics and Computer Science
CGPA: 9.12/10
Pumping Lemma for Weighted Automata, Equivalence of Streaming String Transducers
Mentor: Anca Muscholl, Filip Mazowiecki
Query Languages for Graph Structured Data, Watermarking Schemes for Databases
(FSTTCS 2019, arXiv:1909.11369)
Mentor: M. Praveen
Modification of a Symbolic Binary Analysis Engine
Mentor: Ansuman Banerjee
Web Development with Haskell, Elm and related technologies
Mentor: Saurabh Nanda
Writing problems, motivating community, developing courses
Qualifier
Winner
Among top 25 students of the city
Winter school on SAT and SMT solvers
Functional Programming Haskell Summer School
Achievement-focused mentoring camp for the most promising high school students
JB Centre of Excellence for Student-Scientists
Hosting Tutorials, Preparing Supplementary Notes, Creating Assignments
Community Involvement, Creating Assignments
Moderated Computer Science, Combinatorics and Calculus
Over 10,000 forum posts
Worked on several recreational programming projects. See http://github.com/Agnishom/
Mathematics: Algebra (Linear Algebra, Group Theory, Ring and Field Theory, Module Theory, Galois Theory), Probability Theory, Real Analysis, Calculus, Differential Equations, Complex Analysis, Topology
Computer Science: Programming(Haskell and Python), Programming Language Concepts, Implementation of Functional Programming, Discrete Mathematics, Design and Analysis of Algorithms, Theory of Computation, Complexity Theory, Mathematical Logic, Proofs and Types, Interactive Theorem Proving, Software Verification with SMT Solvers, Logic-Automata-Games, Weighted Automata, Timed Automata, Games on Graphs, Concurrent Programming
Other: Classical Mechanics, English, Values Through Literature
Taken online courses in Cryptography, Mathematical Philosophy, Social Psychology, Microeconomics, Game Theory
Haskell, Coq, Python, C++
Paint.NET, Linux, Mathematica, Web Technologies
Communicating Ideas, Brainstorming