Jyotirmoy V. Deshmukh

       Principal Engineer (Research)
       Toyota Motors North America R&D

       Gardena, CA 90248.
       I leave Toyota in July 2017. I am on the job market!

E-mail           : <lastname>@cs.utexas.edu
Interests        : Cyber-Physical Systems, Formal Methods,
                   Requirement Engineering, Temporal Logic,
                   Controller Synthesis and Verification,
                   Logic-based Time-Series Analysis, and
                   Verification of Hybrid Systems.
Publications     : Link  
Notable Talks    : Link  
Current Projects : Link  
CV               : Link