Erfolgreiche Promotionsverteidigung / Successful PhD Defense

Am 15.9. hat Dipl.-Inf. Torsten Liebke erfolgreich seine Promotionsverteidigung absolviert. Das Thema seiner Dissertation lautet "Improving Explicit Model Checking for Petri Nets". Die Ergebnisse der Arbeit sind in das am Lehrstuhl Theoretische Informatik entwickelte Verifikationswerkzeug LoLA eingeflossen, das regelmäßig erfolgreich an internationalen Wettbewerben teilnimmt. Torsten Liebke war mehrere Jahre als wissenschaftlicher Mitarbeiter am Lehrstuhl Theoretische Informatik tätig. Der Lehrstuhl hat auch sein Promotionsvorhaben betreut.

On Sep 15, Torsten Liebke successfully defended his PhD thesis. The tile of the thesis is "Improving Explicit  Model Checking for Petri Nets". Results of his thesis are part of the Petri net verification tool LoLA that successfully participates in international competitions. Torsten Liebke has worked for several years in the Theoretical Computer Science group. This group also supervised his PhD project.


Zurück zu allen Meldungen