Find UC Berkeley Faculty

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

mathematical logic

theoretical chemistry, electronic structure calculations, development of novel theories and algorithms, quantum mechanics

mathematical logic

theory(THY), complexity theory, analysis of Boolean functions, randomness in computation, quantum computation

mathematics, model theory, applications to number theory

theoretical computer science, probability theory, combinatorics, complex networks, statistical physics, artificial intelligence, applications of artificial intelligence and machine learning in engineering and sciences

ancient philosophy, philosophical logic, philosophy of language, epistemology

comparative politics, international relations, formal theory and methods