Find UC Berkeley Faculty

Name

Department

Research Expertise

Active Filters

dependable computing

Division of Computer Science (EECS)

Division of Electrical Engineering (EECS)

formal methods, computational logic, electronic design automation, computer security, dependable computing, Cyber-Physical Systems, programming languages