The Donald O. Pederson Center for Electronic Systems Design
Donald O. Pederson Center Open House, Thursday, February 14, 2013
Thursday, February 14, 2013, 12:45pm - 3:30pm
Location: 540 A/B and 545, Cory Hall
As part of the Berkeley EECS Annual Research Symposium (BEARS), the
Donald O. Pederson Center for Electronic System Design held
a lunch and poster session.
Our research areas include:
- Advanced methods in combinational and sequential logic synthesis and formal verification (Robert Brayton)
- Modeling, simulation, and design of concurrent, real-time, embedded systems (Edward Lee)
- Medical imaging, in particular Magnetic Resonance Imaging (MRI) (Michael Lustig)
- Computational algorithms and tools for electronic, nanoscale and biological system design (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)
See the Poster instructions for details.