Academic Background: Ph.D. in Electrical Engineering and Computer Sciences, UC Berkeley, 2015; M.S. in Electrical Engineering, University of Pisa, 2003.
Research Interests: Trustworthy autonomous systems, cyber-physical systems, and formal verification.
Appointments: Assistant Professor, Electrical Engineering and Computer Sciences, UC Berkeley.
Publications: Articles in IEEE Transactions on Automatic Control and ACM Transactions on Cyber-Physical Systems.
Additional Contributions: Holds patents in system design; collaborator with NASA on autonomous systems.