Hi! I'm a PhD candidate at the University of Colorado Boulder in the Department of Computer Science and a member of the CU Programming Languages and Verification (CUPLV) group. I'm advised by Prof. Sriram Sankaranarayanan.
My research interests lie at the intersection of formal methods, machine learning, and dynamical systems. I'm interested in modeling autonomous systems (cyber-physical systems) for control and verification using data-driven techniques.
I received my Masters degree in Computer Science from the University of Colorado Boulder in 2017. I was advised by Prof. Matthew Hammer. My research included topics in programming language theory and type systems.
I obtained my Bachelors degree in Computer Science from Birla Institute of Technology and Science, Pilani (Goa) in 2014.
Selected Publications
-
An Algorithm for Learning Switched Linear Dynamics from DataGuillaume Berger*, Monal Narasimhamurthy*, Kandai Watanabe, Morteza Lahijanian, Sriram Sankaranarayanan.In Advances in Neural Information Processing Systems, 2022.
-
Decoding Output Sequences for Discrete-Time Linear Hybrid SystemsMonal Narasimhamurthy, Sriram Sankaranarayanan.In ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 6:1-6:7, 2022.
-
Verifying Conformance of Neural Network Models: Invited PaperMonal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan.In 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 2019.
-
Meta-F*: Proof automation with SMT, Tactics, and MetaprogramsGuido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Cătălin Hriţcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy.In 28th European Symposium on Programming (ESOP) , Springer, 2019.
Research Internships
-
Amazon (Automated Reasoning Group), Santa ClaraAdvised by Dr. Zyad Hassan
-
Five AI, United KingdomAdvised by Dr. Iain Whiteside
-
Microsoft Research, United KingdomAdvised by Prof. Andy Gordon and Prof. Simon Peyton Jones
-
Microsoft Research, IndiaAdvised by Dr. Aseem Rastogi
Teaching Assistantships
-
CSCI 3155: Principles of Programming LanguagesUniversity of Colorado Boulder
-
CSCI 3308: Software Development Tools and MethodsUniversity of Colorado Boulder