Find UC Berkeley Faculty

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

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

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

programming optimization, programming languages

high performance computing, partitioned Global Address Space programming, communication-avoiding algorithms, automatic performance tuning, high performance data analytics, computational biology