main photo of Andreas Kuehlmann

Andreas Kuehlmann

Adjunct Professor

Research Areas

Research Centers


Andreas 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.

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. Among others, he was the principal author and project leader of Verity, IBM's standard equivalence checking tool. From January 1998 until May 1999, Andreas visited the Department of Electrical Engineering and Computer Science at U.C. Berkeley. In July 2000, he joined the Cadence Berkeley Laboratories where he continues to work on synthesis and verification problems. Since July 2002, he is also adjunct professor at the University of California at Berkeley. In 2003, Andreas was awarded IEEE Fellow. In August 2003, Andreas became the Director of Cadence Laboratories and was also promoted to Cadence Fellow in 2004.

Selected Publications