Vishnu Murali

Vishnu Murali 

Ph.D. Candidate

Department of Computer Science,
University of Colorado, Boulder


Bio and Research

Vishnu Murali is a PhD candidate in the Department of Computer Science at the University of Colorado, Boulder. He received his B.E. degree (Computer Science and Engineering, 2019) from Visvesvaraya Technological University, India. His current research interests include logic, automata and hybrid systems.


  • Spring 2020: Linear Algebra with Computer Science Applications (CSCI 2820) (Course Manager)

  • Fall 2020: Algorithms (CSCI 3104) (TA)


  • V. Murali, A. Trivedi, and M. Zamani. “A Scenario Approach for Synthesizing k-Inductive Barrier Certificates.” IEEE Control System Letters, vol. 6, pp. 3247-3252, 2022.

  • V. Dave, S. Krishna, V. Murali, and A. Trivedi. “Optimal Repair for Omega-Regular Properties.” Automated Technology for Verification and Analysis (ATVA) 2002.

  • M. Anand, V. Murali, A. Trivedi, and M. Zamani. “k-Inductive Barrier Certificates for Stochastic Systems.” 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Article no.: 12, pp. 1-11, 2022.

  • M. Anand, V. Murali, A. Trivedi, and M. Zamani. “Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates.” 60th IEEE Conference on Decision and Control (CDC), pp. 1314-1320, 2021.