Lunch: 12:45-1:45pm
Open House: 2:00-3:30pm
Location: 540 A/B Cory Hall
Faculty: Robert Brayton, Edward A. Lee, Michael Lustig, Jaijeet, Roychowdhury, 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);
- Medical imaging, in particular Magnetic Resonance Imaging (MRI) (Prof. Lustig);
- Computational algorithms and tools for electronic, nanoscale and biological system design (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); and
- Algorithmic techniques for system verification, dependability, and security (Prof. Seshia)