Note to Prospective Students

GSR Positions Available: I'm looking for graduate students to work with me on a range of EE and CS topics including in software security, CAD for integrated circuits, embedded and hybrid systems, model checking, and satisfiability solvers.
  If you're interested and are already at or admitted to Berkeley, please e-mail me and/or drop by my office to discuss research opportunities.
  If you're not yet at Berkeley, please read the information at this URL.
 

Undergraduate Research Opportunities: If you're a Berkeley undergraduate student and would like to do research with me, drop by my office during my office hours. A couple of research opportunities are available for Summer and Fall 2008.
  If you are not enrolled at UC Berkeley, please note that I usually do not take on undergraduate summer interns from outside Berkeley.