Find UC Berkeley Faculty

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

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

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

theoretical chemistry, chemical dynamics, quantum mechanical and semiclassical theories, dynamical chemical processes at the molecular level, photodissociation, femtosecond pump-probe spectroscopy, calculations of rate constants for chemical reactions

mathematical logic

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

comparative politics, international relations, formal theory and methods

comparative politics, methodology & formal theory, Latin America

culture, cognition, social networks, social capital, organizational sociology, formal organizations, social influence

Problem solving, knowledge representation & reorganization, explanatory coherence & inference, conceptual change, societal implications, science instruction, global climate change psychology, numeracy in journalism, naïve/informal physics, computational models of cognition, perceptual-cognitive interactions, intelligent tutoring systems, understandings of biological evolution, Reasoning, qualitative & quantitative thinking

operating systems & networking, computer architecture, large-scale distributed systems

language acquisition, language processing

programming optimization, programming languages

catalysis, electrochemistry, chemical kinetics

17th and 18th century French literature and culture, history and theory of the novel, quantitative literary history and digital humanities, history of aesthetics, cinema (French New Wave)

nuclear physics, particle physics

global change, natural climate solutions, Dynamic Vegetation, carbon cycle, ecophysiology, land-atmosphere interactions, biogeochemistry, micrometeorology, remote sensing, mathematics and data science

Asian American literature, Latino/a/x and Caribbean literatures and cultures, relational race studies, digital humanities, migration, narrative

music composition, decolonizing music, noise, sound installations, music of Japan, extended vocal techniques, overtone singing, musical culture of Japan, experimental improvisation