VeriDrone

Foundational Verification of Cyber-Physical Systems

Students:

Dan Ricketts

Mario Alvarez

Vignesh Gowda

Post-docs:

Gregory Malecha

Faculty:

Sorin Lerner

Ryan Kastner

Miroslav Krstic