Vinayak Prabhu is a postdoctoral researcher in the Rigorous Software
Engineering group headed by Rupak Majumdar at the Max Planck Institute for
Software Systems in Germany.
He has been an Alexander von Humboldt postdoctoral fellow in Germany, and
a Portuguese Science Foundation postdoctoral fellow in Portugal. He
obtained his PhD in formal verification at the University of California at
Berkeley under Thomas Henzinger and Pravin Varaiya. His research interests
are in using formal methods techniques for the design and analysis of
robust systems; in particular  in the design, verification, testing, and
control of models of Cyber-Physical Systems.