Rameez Wajid

ECCS 121

University of Colorado Boulder

I’m a Ph.D. candidate in Computer Science at the University of Colorado Boulder, advised by Prof. Sriram Sankaranarayanan. My research brings together control theory, formal methods, and autonomous systems, with the goal of making safety guarantees for robots and cyber-physical systems clear, explainable, and trustworthy.

Before returning to graduate school, I spent several years teaching engineering courses in avionics and control, working closely with students in hands-on, lab-based settings. I care deeply about connecting abstract ideas to real systems and helping students build confidence alongside technical rigor.

When I’m not thinking about research or teaching, I spend time with my family in the beautiful city of Boulder and enjoy getting out on the tennis court whenever I can.

news

Nov 25, 2025	Organized the inaugural CUPLV Formal Methods Seminar and gave a talk on Verifiaction of Real-valued Programs.
May 22, 2025	Successfully defended my Ph.D. thesis proposal, Successive Control Certificates for Safe Autonomy!
May 08, 2025	Presented our HSCC paper, “Successive Control Barrier Functions for Nonlinear Systems,” at CPS-IoT Week held in Irvine, CA. Slides here.

selected publications

HSCC

Successive Control Barrier Functions for Nonlinear Systems

Rameez Wajid and Sriram Sankaranarayanan

In Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2025, Irvine, CA, USA, May 6-9, 2025, 2025

DOI Bib PDF Code

@inproceedings{DBLP:conf/hybrid/Wajid025,
  author = {Wajid, Rameez and Sankaranarayanan, Sriram},
  title = {Successive Control Barrier Functions for Nonlinear Systems},
  booktitle = {Proceedings of the 28th {ACM} International Conference on Hybrid Systems:
                    Computation and Control, {HSCC} 2025, Irvine, CA, USA, May 6-9, 2025},
  pages = {21:1--21:11},
  publisher = {{ACM}},
  year = {2025},
  url = {https://doi.org/10.1145/3716863.3718043},
  doi = {10.1145/3716863.3718043},
  timestamp = {Wed, 11 Jun 2025 01:00:00 +0200},
  biburl = {https://dblp.org/rec/conf/hybrid/Wajid025.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

L4DC

Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning

Rameez Wajid, Asad Ullah Awan, and Majid Zamani

In Learning for Dynamics and Control Conference, L4DC 2022, 23-24 June 2022, Stanford University, Stanford, CA, USA, 2022

Bib PDF

@inproceedings{DBLP:conf/l4dc/WajidAZ22,
  author = {Wajid, Rameez and Awan, Asad Ullah and Zamani, Majid},
  editor = {Firoozi, Roya and Mehr, Negar and Yel, Esen and Antonova, Rika and Bohg, Jeannette and Schwager, Mac and Kochenderfer, Mykel J.},
  title = {Formal Synthesis of Safety Controllers for Unknown Stochastic Control
                    Systems using Gaussian Process Learning},
  booktitle = {Learning for Dynamics and Control Conference, {L4DC} 2022, 23-24 June
                    2022, Stanford University, Stanford, CA, {USA}},
  series = {Proceedings of Machine Learning Research},
  volume = {168},
  pages = {624--636},
  publisher = {{PMLR}},
  year = {2022},
  timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl = {https://dblp.org/rec/conf/l4dc/WajidAZ22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}