Cell: +1-832-660-7089
Email: agnishom@rice.edu
PhD Candidate: Computer Science
Advisor: Dr. Konstantinos Mamouras
Bachelor of Science: Mathematics and Computer Science
CGPA: 9.12/10
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
Agnishom Chattopadhyay, Konstantinos Mamouras
Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros
Agnishom Chattopadhyay, M. Praveen
Pumping Lemma for Weighted Automata, Equivalence of Streaming String Transducers
Mentor: Anca Muscholl, Filip Mazowiecki
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
Conference on Formal Methods in Mathematics
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
Reasoning about Software, Functional Programming
Hosting Tutorials, Grading Assignments
Programming Language Concepts, Mathematical Logic, Advanced Programming, Programming in Haskell
Hosting Tutorials, Preparing Supplementary Notes, Creating Assignments
Design and Analysis of Algorithms, Introduction to Haskell Programming
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/
Principles of Programming Languages, IOT Programming and Data Analysis, Secure and Cloud Computing, Introduction to Security, Computer Systems Architecture, Probabilistic Algorithms and Data Structures, Topics in Programming Languages and Formal Methods
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, Rust
Paint.NET, Linux, Mathematica, Web Technologies
Communicating Ideas, Brainstorming