Sebastian Hahn

Real-Time and Embedded Systems Lab
Universität des Saarlandes
Phone: +49 681 302 5571
Building: E 1 3 Room: 402
Coordinates: N 49.257833° E 7.045144°

Short CV

I joined the group of Jan Reineke in 2013.
Prior to that, I worked on relational cache analysis in the group of Reinhard Wilhelm advised by Daniel Grund. I completed my B.Sc. on relational cache analysis in late 2011. Since 2012, I am a member of the Graduate School of Computer Science at Saarland University.
I received my M.Sc. on a formal definition of timing compositionality in early 2015.
Until the end of 2015, I was part of the DFG SFB/TR 14 Automatic Verification and Analysis of Complex Systems working on timing compositionality.
From 2017 on, I work on timing-predictable processor designs and corresponding timing analyses within the DFG project "PEP: Precise and Efficient Prediction of Good Worst-case Performance for Contemporary and Future Architectures".

Research Interests


Winter 2016/2017, Winter 2018/2019

Summer 2015, Winter 2017/2018

Summer 2014, Summer 2016, Summer 2017

Winter 2012/2013

Summer 2012

Thesis Advisor


A list of publications can also be found on DBLP.

Bachelor's Thesis

Master's Thesis