Ph.D. Students
Amirreza Alavi
Ph.D. Student (2024–present)
University of Colorado Boulder
Jointly supervised with Majid Zamani.
Mahadevan Seetharaman
Ph.D. Student (2026–present)
University of Colorado Boulder
Jointly supervised with Marco Nicotra.
M.Sc. Students
Jacob Simons
M.Sc. Student (2026–present)
University of Colorado Boulder
Alumni
Felipe Galarza-Jimenez
Ph.D. Student (2023–2026)
University of Colorado Boulder
Jointly supervised with Majid Zamani.
Dissertation: Verification and Control Synthesis for Large-scale Systems
Onkar Apte
M.Sc. Student (2024–2026)
University of Colorado Boulder