Andreas Kuehlmann

Biography

Andreas is general manager of the Software Integrity Group at Synopsys. In this role, he is responsible for leading the company's software quality and security solutions business, which is focused on products and services for ensuring the security and improving the quality of all software that is omnipresent in our lives. Prior to joining Synopsys in 2014 as part of the Coverity acquisition, Andreas served as senior vice president of research and development at Coverity, where he was responsible for global R&D activities. From 2003 to 2010, he served as Fellow and Director of Cadence Research Laboratories, where he led the company's advanced research and development including systems and software verification technologies. Prior to Cadence, he was part of the IBM T.J. Watson Research Center. His work on functional equivalence verification was key to the development of IBM's high-end processors and was later broadly adopted by the industry. Andreas has served as an adjunct professor at University of California, Berkeley, and as President of the IEEE Council on Electronic Design Automation (CEDA). He received the Dipl.-Ing. degree and the Dr.-Ing. habil degree in Electrical Engineering from the University of Technology at Ilmenau, Germany, and he is an IEEE Fellow.

Research Interest

research and development,software verification technologies