Skip to main content

Alexander Kaiser

Personal photo - Alexander Kaiser

Alexander Kaiser

Doctoral Student

Leaving date: 30th June 2013

Themes:

Completed Projects:

Interests

Formal Verification of Concurrent Software

Biography

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.

 

Activities

Completed Projects

Supervisor