Sebastian Altmeyer

Researcher
Embedded/Real-Time Systems

Contact Info

About me

I am researcher 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

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

Proposal & Slides
Cyber-Physical Action Language

See www.designcps.com
Analysis of pre-emptively scheduled Systems

Abstract & Slides


contact information

altmeyer (at) uva (.) nl

University of Amsterdam

Science Park 904, Room C3.101

1098 XH, Amsterdam, NL