monal | LinkedIn | CV
Hi! I'm a PhD student at the University of Colorado Boulder in the Department of Computer Science and a member of the CU Programming Languages and Verification group. I'm advised by Prof. Sriram Sankaranarayanan (since Spring 2019).
I'm interested in modeling autonomous 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 and we worked on extending Adapton, an incremental computation framework.
I obtained my Bachelors degree in Computer Science from Birla Institute of Technology and Science, Pilani (Goa) in 2014.
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.[Paper] [Poster] [Video]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.ML as a Tactic Language, AgainGuido 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.ML, 2018.Fungi: Typed incremental computation with namesMatthew A. Hammer, Kyle Headley, Jana Dunfield, Monal Narasimhamurthy, Dimitrios J. Economou.
Summer 2022Amazon, Automated Reasoning Group, Santa ClaraAdvised by Dr. Zyad Hassan
Summer 2021Five AI, United KingdomAdvised by Dr. Iain Whiteside
Summer 2018Microsoft Research, United KingdomAdvised by Prof. Andy Gordon and Prof. Simon Peyton Jones
Summer + Fall 2017Microsoft Research, IndiaAdvised by Dr. Aseem Rastogi
Fall 2019CSCI 3155: Principles of Programming LanguagesUniversity of Colorado Boulder
Spring 2016CSCI 3308: Software Development Tools and MethodsUniversity of Colorado Boulder