Agnishom Chattopadhyay

DH 3002

Rice University

Houston, TX 77005

I am currently a PhD student in the Rice University, working with Konstantinos Mamouras. I graduated from Chennai Mathematical Institute with a B.Sc. in Computer Science and Mathematics in 2019.

My research interests are broadly along the lines of formal methods, programming languages and automata theory. As part of my PhD research, I am working on monitoring algorithms for quantitative interpretations of temporal logic, and also on algorithms related to regular expressions with practical extensions such as counting and lookaround assertions.

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