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

Jul 15, 2026	Our work titled “Control Barrier Functions for Moving Obstacles via Translational Symmetry” accepted as a regular paper at IEEE CDC 2026.
Jun 29, 2026	Successfully defended my Ph.D. dissertation titled, “Successive Control Certificates for Safe Autonomy” . Recording here
Feb 06, 2026	Presented a poster at the CU annual research expo titled SOS Certificate Repair via DSOS and Rational LP.
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!

selected publications

CDC

Control Barrier Functions for Moving Obstacles via Translational Symmetry

Rameez Wajid, Georgios Fainekos, Bardh Hoxha, and 2 more authors

In IEEE 65th Conference on Decision and Control (CDC), 2026

to appear

Code

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},
}