Jyotirmoy V. Deshmukh


       Assistant Professor
       Department of Computer Science

       University of Southern California, Los Angeles

E-mail           : <firstname.lastname>@usc.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