Agnishom Chattopadhyay
DH 3002
Rice University
Houston, TX 77005
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 theory and logic.
You can find my CV here.
selected publications
-
POPLEfficient Matching of Regular Expressions with Lookaround AssertionsProc. ACM Program. Lang. Jan 2024
-
RVA Verified Online Monitor for Metric Temporal Logic with Quantitative SemanticsIn RV 2020 Jan 2020
-
LMCSPumping lemmas for weighted automataLogical Methods in Computer Science Jul 2021