Professor, Electrical Engineering and Computer Science
email@example.comPersonal Website | Google Scholar | Video
System and control theory; discrete event systems; cyber-physical systems. Supervisory control, fault diagnosis, security and privacy in control systems. Formal methods of control. Application to automated and autonomous systems, multi-agent systems, software systems, and computer systems.