Time: 1:45pm to 3:15pm
Location: 540 A/B Cory Hall
Faculty: Robert Brayton, Jaijeet Roychowdhury, Edward A. Lee, Alberto Sangiovanni-Vincentelli and Sanjit Seshia
The Donald O. Pederson Center for Electronic Systems Design is named after Professor Pederson, the father of SPICE.
Our research areas include:
- Advanced methods in combinational and sequential logic synthesis and formal verification (Prof. Brayton)
- Modeling, simulation, and design of concurrent, real-time, embedded systems. (Prof. Lee)
- Computational algorithms and tools for electronic (e.g., mixed-signal, RF, high-speed digital) and multi-domain (e.g., biological, MEMS, nanoscale) systems and apply them to understand system-level dynamics and to design systems. (Prof. Roychowdhury)
- Design methodologies and tools for wireless sensor networks, embedded systems, hybrid systems, and electronic design automation, such as algorithms and techniques to support the computer-aided design and optimization of complex hardware and software systems. (Prof. Sangiovanni-Vincentelli)
- Algorithmic techniques for system verification, dependability, and security. (Prof. Seshia)