Monal Narasimhamurthy
Graduate Student, University of Colorado Boulder

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 Data
    Guillaume 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 Systems
    Monal 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 Paper
    Monal 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 Metaprograms
    Guido 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 Clara
    Summer 2022
    Advised by Dr. Zyad Hassan
  • Five AI, United Kingdom
    Summer 2021
    Advised by Dr. Iain Whiteside
  • Microsoft Research, United Kingdom
    Summer 2018
    Advised by Prof. Andy Gordon and Prof. Simon Peyton Jones
  • Microsoft Research, India
    Summer + Fall 2017
    Advised by Dr. Aseem Rastogi

Teaching Assistantships

  • CSCI 3155: Principles of Programming Languages
    Fall 2019
    University of Colorado Boulder
  • CSCI 3308: Software Development Tools and Methods
    Spring 2016
    University of Colorado Boulder