Cell: +1-832-660-7089
Email: agnishom@rice.edu
PhD Candidate: Computer Science
Advisor: Konstantinos Mamouras
Bachelor of Science: Mathematics and Computer Science
CGPA: 9.12/10
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang
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
The Homestate Problem for Vector Addition Systems
Mentor: Filip Mazowiecki, Wojciech Czerwiński
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
Development of a Temporal Logic Monitoring Workspace
Mentor: Ichiro Hasuo
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
Haskell, Python, Rust, Java
Coq, Linux, Mathematica, Web Technologies