Jyotirmoy V. Deshmukh

       Assistant Professor
       Department of Computer Science

       University of Southern California,
       914 Bloom Walk,
       Los Angeles, CA 90089.
       Office: SAL 340.

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
Teaching         : Link