Der Rückblick zum TEWI-Kolloquium von Dr. Wolfram Büttner, TU Kaiserslautern am 06.12.2012 beinhaltet die Folien:

University in New Orleans, habilitierte in diesem Fach an der TU Darmstadt und wechselte dann in die Informatik. Seit 1989 ist er Außerplanmäßiger Professor an der TU Kaiserslautern. Von 1984 bis 2002 arbeitete Dr. Büttner in den Corporate Technology Labs (CT) von Siemens in München – zuletzt als Abteilungsdirektor mit Verantwortung für die Themengebiete formale Methoden, diskrete und stochastische Optimierung sowie Lernende Systeme. Seit 2000 fokussierte Dr. Büttner seine Tätigkeit auf die formale Schaltungsverifikation und führte die Verifikationstechnologie von CT zur Produktreife und auf den Markt – erst bei Infineon und ab 2005 in zwei Start-Up’s.