Agnishom Chattopadhyay

Rice University 2019 - Present

PhD Candidate: Computer Science
Advisor: Konstantinos Mamouras

Chennai Mathematical Institute 2016 - 2019

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

PLDI'22 Software-Hardware Codesign for Efficient in-Memory Regular Pattern Matching

Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang

RV'21 A Compositional Framework for Quantitative Online Monitoring over Continuous-time Signals

Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang

TACAS'21 Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring

Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang

RV'20 A verified online monitor for metric temporal logic with quantitative semantics

Agnishom Chattopadhyay, Konstantinos Mamouras

LMCS 17 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

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

ERATO-MMSD, National Institute of Informatics Scientific Programmer - May - August 2023

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

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

Programming Languages

Haskell, Python, Rust, Java

Other Computing Skills

Coq, Linux, Mathematica, Web Technologies