Sebastian Altmeyer

Embedded/Real-Time Systems

Contact Info

About me

I am assistant professor at the University of Amsterdam. I finished my PhD on the "Analysis of Preemptively Scheduled Hard Real-time Systems" at the Saarland University under the supervision of Prof. Reinhard Wilhem in October 2012 and was part of the Lassy Group at the University of Luxembourg from 2015 to 2016.

My research is driven by the genuine interest in computing systems that surround us and on which we entrust our lives on a daily basis. I have thus worked on various aspects of the design, optimization and verification of these systems.

News & Events

Research Projects

TeamPLay: Time, Energy and Security Analysis for Multi/Many-core heterogenerous PLAtforms Multi-Cores

The time is now: Timing Verification for Safety-Critical Multi-Cores

Proposal & Slides
Cyber-Physical Action Language

Analysis of pre-emptively scheduled Systems

Abstract & Slides

contact information

altmeyer (at) uva (.) nl

University of Amsterdam

Science Park 904, Room C3.103

1098 XH, Amsterdam, NL