Agnishom Chattopadhyay

1519

National Institute of Informatics

2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo

I am a Scientific Programmer at the ERATO-MMSD group, in the National Institute of Informatics.

I obtained my Ph.D. in Computer Science from Rice University in 2024, under the supervision of Konstantinos Mamouras. Prior to that, I graduated from Chennai Mathematical Institute with a B.Sc. in Computer Science and Mathematics in 2019.

My research interests include formal methods and programming languages. My thesis explores the Coq formalization of algorithms related to temporal logic and regular expressions. I am also intersted in the theoretical aspects of automata and logic.

You can find my CV here.

selected publications

  1. POPL
    Efficient Matching of Regular Expressions with Lookaround Assertions
    Mamouras, Konstantinos, and Chattopadhyay, Agnishom
    Proc. ACM Program. Lang. Jan 2024
  2. RV
    A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics
    Chattopadhyay, Agnishom, and Mamouras, Konstantinos
    In RV 2020 Jan 2020
    Code
  3. LMCS
    Pumping lemmas for weighted automata
    Chattopadhyay, Agnishom, Mazowiecki, Filip, Muscholl, Anca, and Riveros, Cristian
    Logical Methods in Computer Science Jul 2021