Vinayak Prabhu Assistant Professor

Office: Computer Science Building 446

Phone: (970) 491-4192

Website: https://www.cs.colostate.edu/~vsp/

About

Cyber-physical Systems, Formal Methods, Hybrid Systems, Verification and Control