The Donald O. Pederson Center for Electronic Systems Design

Donald O. Pederson Center Open House, Thursday, February 17, 2011

Thursday, February 17, 2009, 12:45pm - 3:15pm

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 will hold a lunch and poster session.

Our research areas include:

  • Advanced methods in combinational and sequential logic synthesis and formal verification (Robert Brayton)
  • 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)

Visitors: Registration for BEARS is closed

Students, faculty, postdocs and staff: Registration closed on February 11, 2011 so that we may get an accurate count for lunch.
See the Poster instructions for details.


You are not logged in 
©2002-2018 U.C. Regents