Academic Life#
I studied computer science at Saarland University.
I finished my Diploma thesis “Statische Berechnung sicherer Schleifengrenzen auf Maschinencode” in 2006.
In February 2013, I successfully defended my PhD thesis about “Cache Persistence Analysis for Embedded Real-Time Systems”. The official publication can be found here.
Publications#
Lists of my publications can be found online at: