Title
Professor of Computer Science and Electrical Engineering

Department
Division of Computer Science/EECS
Division of Electrical Engineering/EECS


Faculty URL
http://www.eecs.berkeley.edu/~sseshia

Email
sseshia@eecs.berkeley.edu


Search UC Berkeley Directory





Research Expertise and Interest
electronic design automation, theory, computer security, program analysis, dependable computing, computational logic, formal methods