Location: 540 A/B and 545, Cory Hall
Time: 12:45pm - 3:00pm

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. (Edward 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. (Jaijeet 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. (Alberto Sangiovanni-Vincentelli)
• Algorithmic techniques for system verification, dependability, and security. (Sanjit Seshia)