Dr. Andreas Kuehlmann

Cadence Berkeley Labs

Andreas Kuehlmann received the Dipl-Ing. degree and the Dr.-Ing. habil degree in Electrical Engineering from the University of Technology at Ilmenau, Germany, in 1986 and 1990, respectively. His research topics included algorithms for automatic layout verification and synthesis. From 1990 to 1991 he worked at the Fraunhofer Institute of Microelectronic Circuits and Systems, Duisburg, on a project to automatically synthesize embedded microcontrollers. In 1991 he joined the IBM T.J. Watson Research Center where he worked until June 2000 on various projects in high-level and logic synthesis and hardware verification. From January 1998 till May 1999 he visited the Department of Electrical Engineering and Computer Science at UC Berkeley. In July 2000 Andreas Kuehlmann joined the Cadence Berkeley Labs where he continues to work on synthesis and verification problems.

Email: kuehl@cadence.com