Find UC Berkeley Faculty

computer science, programming systems, software engineering, programming languages, computational logic, software testing, verification, model checking, runtime monitoring, performance evaluation

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