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