Jonathan DeCastro Research Scientist Toyota Research Institute One Kendall Square Cambridge, MA 02139 jonathan.decastro - at - tri - dot - global
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. I have a deep interest in the following topics: