Research Expertise and Interest
electronic design automation, theory, computer security, program analysis, dependable computing, computational logic, formal methods
In the News
September 8, 2016
As companies contemplate putting self-driving cars on our city streets, driverless trucks on our freeways and autonomous delivery drones overhead, UC Berkeley engineers are embarking on a major project to improve the safety of these vehicles and how they interact with humans.