Paulo Tabuada — Electrical & Computer Eng. faculty at UCLA. Research: Cyber-physical systems, control systems, formal methods, security.