Find UC Berkeley Faculty

computer architecture, quantum computer design, internet-scale storage systems and peer-to-peer networking, operating systems & networking, computer security

computer security, applied cryptography

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

privacy, computer security, artificial intelligence

quantum computation, hamiltonian complexity, analysis of algorithms, computer security