Monal Narasimhamurthy
Graduate Student, University of Colorado Boulder
monal.narasimhamurthy@colorado.edu monal monal-narasimhamurthy CV

Hi! I recently graduated with a PhD in Computer Science from the University of Colorado Boulder. I was a member of the CU Programming Languages and Verification (CUPLV) group, where I was 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.

(PhD Thesis)


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

  • Algorithms for Identifying Flagged and Guarded Linear Systems
    Guillaume Berger, Monal Narasimhamurthy, Sriram Sankaranarayanan.
    In ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 16:1-6:13, 2024.
    Paper
  • 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.
    Paper Poster Video
  • 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.
    Paper Poster Video
  • 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.
    Paper
  • 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.
    Paper

Research Internships

  • Amazon (Automated Reasoning Group), Santa Clara, USA
    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 5654: Linear Programming
    Spring 2024
    University of Colorado Boulder
  • 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