CITRIS and the Banatao Institute
Creating information technology solutions for society's most pressing challenges
Associate Professor, Mechanical and Aerospace Engineering and Associate Director of CITRIS at UC Davis
UC Davis
Engineering, Autonomous Systems And Control, Autonomous Systems, Control Theory, Controls, Cyber-physical Systems, Dynamics, Formal Methods, Human-systems Engineering, Machine Learning, Robotics
Professor, Computer Science and Engineering
UC Santa Cruz
Engineering, Cyber Security And Computer Science, Computer Security, Concurrency, Dynamic Program Analysis, Formal Methods, Program Verification, Programming Languages, Secure Software Development, Software Reliability, Static Program Analysis, Type Systems
