Find UC Berkeley Faculty

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

programming optimization, programming languages

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

mathematics, model theory, applications to number theory

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

Cyber-Physical Systems, embedded software, modeling and design of systems, real-time and concurrent system, theory of current systems

political sociology, social movements, religion, Islam and the Middle East, culture, poverty and class, social theory, ethnography