Alexander Kaiser

Doctoral Student

alexander.kaiser@cs.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

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.

Info

Themes	Verification
Activities	Concurrency \| Software Model Checking
Projects	Efficient Verification of Software with Replicated Components
Supervisor	Daniel Kroening