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

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

programming systems, human-computer interaction, programming languages, programming languages and compilers, program synthesis, data science

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

theoretical computer science, coding theory, approximate optimization, randomness in computation, computational complexity

data science, Educational Data Science, scientific computing

operating systems & networking, computer architecture, large-scale distributed systems