Jyotirmoy V. Deshmukh (Jyo)
Assistant Professor, Department of Computer Science,
Viterbi School of Engineering.

Formal methods, Cyber-Physical Systems, Requirement Formalisms, Temporal Logic, Requirement-driven Testing, Model-based Design, Autonomous systems, Safe Deep Learning, Debugging & Fault Localization, Run-time and Offline Monitoring, Explainable and Interpretable Machine Learning