Find UC Berkeley Faculty

Cyber-Physical Systems, System design, Electronic Design Systems, embedded system design, control, integrated circuits, theory, Machine learning applications to Energy Efficient Building and Health

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