News

Christian Sternagel passed his final examination (December 17, 2010)

Today DI Christian Sternagel passed his rigorosum (cum laude) and will soon be officially honoured with his doctorate.

His thesis entitled “Automatic Certification of Termination Proofs” deals with proving programs correct with the help of an interactive theorem prover. Currently Christian is preparing his stay as post-doc at the Japan Advanced Institute of Science and Technology (JAIST) in Nomi, Japan.