Sanjit Seshia
Title
Professor of Computer Science and Electrical Engineering
Department
Division of Computer Science/EECS
Division of Electrical Engineering/EECS
Faculty URL
Research Expertise and Interest
electronic design automation, theory, computer security, program analysis, dependable computing, computational logic, formal methods
In the News
September 8, 2016
$4.6 million grant to improve how automated cars, drones interact with humans
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.