Agnishom Chattopadhyay

Cell: +81-090-1041-6836
Email:

Current

Imiron2025 - Present

Research Engineer

Education

Rice University 2019 - 2024

PhD: Computer Science
Advisor: Konstantinos Mamouras
Thesis: Formally Verified Algorithms for Temporal Logic and Regular Expressions

Chennai Mathematical Institute 2016 - 2019

Bachelor of Science: Mathematics and Computer Science
CGPA: 9.12/10

Interests
Logic, Automata Theory, Programming Languages, Formal Verification
Selected Publications

CPP'25 Verified and Efficient Matching of Regular Expressions with Lookaround

Agnishom Chattopadhyay, Angela W. Li, Konstantinos Mamouras

LMCS 21 Pumping Lemma for Weighted Automata

Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros

FSTTCS'19 Query Preserving Watermarking Schemes for Locally Treelike Databases

Agnishom Chattopadhyay, M. Praveen

Research Visits

Faculty of Mathematics and Mechanics, University of Warsaw Research Visit - May 2022 - July 2022

The Homestate Problem for Vector Addition Systems

Mentor: Filip Mazowiecki, Wojciech Czerwiński

LaBRI, Université de Bordeaux Summer Intern - May 2019 - July 2019

Pumping Lemma for Weighted Automata, Equivalence of Streaming String Transducers

Mentor: Anca Muscholl, Filip Mazowiecki

Indian Statistical Institute - R. C. Bose Centre for Cryptology and Security Summer Intern - May - July 2017

Modification of a Symbolic Binary Analysis Engine

Mentor: Ansuman Banerjee

Other Experiences

ERATO-MMSD, National Institute of Informatics Scientific Programmer - May - August 2023
& October - December 2024

Development of a Temporal Logic Monitoring Workspace

Mentor: Ichiro Hasuo

Vacationlabs Haskell Intern - May - July 2018

Web Development with Haskell, Elm and related technologies

Mentor: Saurabh Nanda

Brilliant.Org Content Intern - 2016 - 2019

Writing problems, motivating community, developing courses

Achievements

Indian National Olympiad in Informatics


January 2016 - Indian Association for Research in Computer Science

Qualifier

13th National Cyber Olympiad


June 2014 - Science Olympiad Foundation

Winner

Atmadeep May 2013 - Eisamay

Among top 25 students of the city

Skills

Programming Languages

Haskell, Python, Rust, Java

Other Computing Skills

Coq, Linux, Mathematica, Web Technologies