Cell: +81-090-1041-6836
Email: agnishom.chattopadhyay@imiron.io
Research Engineer
PhD: Computer Science
Advisor: Konstantinos
Mamouras
Thesis: Formally Verified
Algorithms for Temporal Logic and Regular Expressions
Bachelor of Science: Mathematics and Computer Science
CGPA: 9.12/10
Agnishom Chattopadhyay, Angela W. Li, 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