Ph.D., EE, 2004, California Institute of Technology, Pasadena, CA, United States
M.S., EE, 1997, California Institute of Technology, Pasadena, CA, United States
B.Eng., EE, 1995, McGill University, Montreal, QC, Canada
Our research activities encompass topics in logic synthesis and verification, as well as in synthetic and computational biology. A broad theme is the application of expertise from digital circuit design to new areas such as nanoscale technologies and biological engineering.