Andreas Kuehlmann

Andreas Kuehlmann received the Dipl.-Ing. degree and the Dr. sc. techn. degree in Electrical Engineering from the Technical University Ilmenau, Germany, in 1986 and 1990, respectively. From 1990 to 1991 he worked at the Fraunhofer Institute of Microelectronic Circuits and Systems, Duisburg, Germany. In 1991 Mr. Kuehlmann joined the IBM Thomas J. Watson Research Center, Yorktown Heights, where he worked on various aspects of high-level synthesis and formal verification. From 1992 to 1997 he led the Verity project which is currently IBM's standard equivalence checking tool.

Email address: kuehl@ic.eecs.berkeley.edu