Skip to main content

Alexander Kaiser

Personal photo - Alexander Kaiser

Alexander Kaiser

Doctoral Student


Formal Verification of Concurrent Software


In 2009 I received my Diplom degree in Computer Science at the University of Tuebingen, Germany. My Diplomarbeit (Masters thesis equivalent) “Formal Verification of Safety Properties in an Industrial C/C++ Project” was done in cooperation with the Robert Bosch GmbH. During my studies, I participated in a one-year resp. one-semester exchange programme with the Computer Science departments at the University of Miami, USA and the University of the Mediterranean, France. In 2008 I did a 2-month internship at IBM Deutschland Research & Development GmbH on the usability of formal C/C++ verification techniques for the System z development.