Find UC Berkeley Faculty

program analysis, program synthesis, database application performance, big systems, big data, database management, database management systems, database design and construction, programming languages and compilers, programming languages

electronic design automation, theory, computer security, program analysis, dependable computing, computational logic, formal methods

privacy, computer security, artificial intelligence