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

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