Find UC Berkeley Faculty

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

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

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

database management systems, operating systems & networking

computer science, activity-based computing, livenotes, mechatronic devices, flexonics

computer architecture, quantum computer design, internet-scale storage systems and peer-to-peer networking, operating systems & networking, computer security

computer science, database systems, distributed systems

synaptic transmission, cellular neurophysiology: synaptic biophysics, properties of neural circuits, photolysis, vital dyes of vesicle membrane, electrophysiological techniques, neuromodulator