19 lines
871 B
Markdown
19 lines
871 B
Markdown
+++
|
|
title = "Academic Work"
|
|
+++
|
|
|
|
## Academic Life
|
|
|
|
I studied computer science at [Saarland University](https://www.uni-saarland.de/nc/en/home.html).
|
|
|
|
I finished my Diploma thesis ["Statische Berechnung sicherer Schleifengrenzen auf Maschinencode"](/academic/diplom.pdf) in 2006.
|
|
|
|
In February 2013, I successfully defended my PhD thesis about ["Cache Persistence Analysis for Embedded Real-Time Systems"](/academic/phd.pdf).
|
|
The official publication can be found [here](https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/26474;jsessionid=A6DE5A6E674C991A2F390B34454E05BC).
|
|
|
|
## Publications
|
|
|
|
A relatively complete list of my publications can be found on [my Google Scholar profile](https://scholar.google.com/citations?user=eK6jgYUAAAAJ&hl=en).
|
|
|
|
An other good source is [my dblp computer science library profile](https://dblp.org/pers/hd/c/Cullmann:Christoph).
|