Jyo Deshmukh

Associate Professor of Computer Science

• Research Areas: Formal methods, verification & validation, testing, multi-agent systems, cyber-physical systems

USC