JONATHAN DECASTRO

I am currently at the Toyota Research Institute in Cambridge, MA. I received my Ph.D. in 2017 from Cornell University as an affiliate of the Verifiable Robotics Research Group, where I worked with Prof. Hadas Kress-Gazit on automated, correct-by-construction controller synthesis for complex robots... My research interests lie in the intersection of control theory, dynamical systems and formal methods... Correct-by-construction synthesis of continuous controllers from temporal logic specifications.

Primary location: Cambridge United States