Colorado State University

Vinayak S. Prabhu

Ph.D. University of California at Berkeley
EMail

Assistant Professor
Department of Computer Science
Colorado State University

Office: CSB 446

Vinayak S. Prabhu

 


Research Areas

The goal of my research is to synthesize tools and algorithms to aid the development of reliable embedded and cyber-physical systems and devices, using techniques from formal methods (automata theory, logic), control theory, machine learning, and software analysis. My work deals with both theoretic and applied aspects, building on collaborations with researchers and industrial research labs from the US and from Europe.

Prospective Students: Funded positions available. Information


Teaching

 


Program Committees

21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018)

20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2017)

 


Publications

DBLP database    |    Journal publications

 

Software

Tool (C++) for computing the Skorokhod distance between two continuous-time traces (given as sampled time-points) based on the work in [CAV 2015], [FMSD 2017]. Available at Github