UCB Electronic Systems Design Faculty

The following faculty are associated with the Donald O. Pederson Center:

Professor Robert Brayton			Professor Bob Brodersen
	VIS: Verification Interacting with Synthesis MVSIS: Multi-valued logic synthesis			BWRC: Berkeley Wireless Research Center
Professor Kurt Keutzer			Adjunct Professor Andreas Kuehlmann
	MESCAL: Modern Embedded Systems, Compilers, Architectures and Languages			Logic: Efficient representation and manipulation of logic functions
Professor Edward A. Lee			Professor Jan Rabaey
	Ptolemy Modeling, simulation, and design of concurrent, real-time, embedded systems Foundations of hybrid and embedded software systems PTIDES: Programming Temporally Integrated Distributed Embedded Systems Precision Timed (PRET) Machines			BWRC: Berkeley Wireless Research Center PicoRadio: Ultra Low-Energy Wireless Sensor Nodes
Professor Alberto Sangiovanni-Vincentelli			Professor Shankar Sastry Dean of the College of Engineering
	ASVES: Analysis, Synthesis, Verification of Electronic Systems Metropolis: Design Environment for Heterogeneous Systems Polis: A Framework for Hardware-Software Co-Design of Embedded Systems			Chess: Center for Hybrid and Embedded Software Systems Trust: Team for Research in Ubiquitous Secure Technology
Assistant Professor Sanjit A. Seshia
	Chess: Center for Hybrid and Embedded Software Systems Trust: Team for Research in Ubiquitous Secure Technology