Find UC Berkeley Faculty

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

online education, MOOC, blended learning, parallel programming, software engineering, Web development

cyber-physical systems and design automation, control and intelligent systems and robotics, integrated circuits, computer architecture & engineering, artificial intelligence, power and energy, programming systems, security

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