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