Dr.-Ing. Sebastian Altmeyer

Transcription

1 Dr.-Ing. Sebastian Altmeyer Born: 19. September 1982 Nationality: German Contakt Information: University of Amsterdam Science Park XH, Amsterdam, NL

2 Work Experience March now. Researcher (Onderzoeker) at the University of Amsterdam Member of the Computer Systems Architecture Group (CSA) Responsible for the NWO-Veni project on timing analysis for safety critical multicores (March March 2019 ) March March 2016 Researcher (Assistant-Chercheur) at the University of Luxembourg Member of the Laboratory of Advanced Software SYstems (LASSY) led by Prof. Pierre Kelsen Research on the design modelling of cyber physical systems Jan April 2015 Postdoctoral Researcher at the University of Amsterdam Member of the: Computer Systems Architecture Group led by Prof. Andy Pimentel Research on the development of processor-architectures for embedded real-time systems Oct Oct Researcher (Wissenschaftlicher Mitarbeiter) at the Saarland University Member of the Compiler Design Lab led by Prof. Reinhard Wilhelm Oct March 2013 Lecturer (Lehrbeauftragter) at the Hochschule für Technik und Wissenschaft des Saarlandes Lectures on Computer Architecture (Summer term 2008) and Embedded Systems (Winter Term 2008/09, 2009/10, 2010/11, 2011/12)

3 Education Oct Oct Doktor Ing. in Computer Science, Saarland University Title: Analysis of Preemptively Scheduled Hard Real-time Systems Grade: Magna cum laude Date of defense: Oct Supervisor: Prof. Reinhard Wilhelm March Oct Master of Science in Computer Science Grade: 1.1 (Honor s Degree) Saarland University Oct March 2006 Bachelor of Science in Computer Science Grade: 2.0. Minor subject: Philosophy Saarland University Language Skills German (Mothertongue) English (Business Fluent) French (Basic) Dutch (Basic) 2

4 Research Grants and Awards NWO Veni Grant Research Grant 250,000 e 2015 The time is now: Timing Verification for Safety-Critical Multi-Cores Outstanding Paper Award Real-Time Networks and Systems (RTNS) 2016 Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling Outstanding Paper Award Real-Time Networks and Systems (RTNS) 2015 A Generic and Compositional Framework for Multicore Response Time Analysis Outstanding Paper Award Real-Time Networks and Systems (RTNS) 2014 Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling Outstanding Paper Award Euromicro Conference on Real-Time Systems (ECRTS) 2014 Evaluation of Cache Partitioning for Hard Real-Time Systems Best Paper Award Languages, Compilers, and Tools for Embedded Systems (LCTES) 2011 Precise and Efficient Parametric Path Analysis Recognitation for extraordinary achievements during graduate studies Freunde der Saarbrücker Informatik e.v. FDSI Saarbrüecken 2006 Academic Activities Co-Chair Artefact Evaluation for the Euromicro Conference on Real-Time Systems (ECRTS 2017) July 2017 Chair of Track 3 of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2017) April 2017 Co-Organisation Workshop for Interoperable infrastructures for interdisciplinary big data sciences (IT4RIs 2016) Dec Work-In-Progress Session Chair Work-In-Progress Session at the Euromicro Conference on Real-Time Systems (ECRTS 2016) July

5 Organisation/Workshop Chair Junior Researcher Workshop on Real-Time Computing (JRWRTC 2013) Oct National Representative of Luxembourg in the ICT COST Action IC1202 Timing Analysis on Code-Level (TACLe) June March 2016 National Representative of the Netherlands in the ICT COST Action IC1202 Timing Analysis on Code-Level (TACLe) Oct March 2015 Program Committee Memberships: IEEE Emerging Technologies And Factory Automation (ETFA 2017) Workshop on Worst-Case Execution Time Analysis (WCET 2017) Euromicro Conference on Real-Time Systems (ECRTS 2017) Work-in-Progess, Euromicro Conference on Real-Time Systems (ECRTS-WiP 2017) Design Automation and Test in Europe (DATE 2017) IEEE Real-Time Systems Symposium (RTSS 2016) Euromicro Conference on Real-Time Systems (ECRTS 2016) Workshop on Worst-Case Execution Time Analysis (WCET 2016) Real-Time Scheduling Open Problems Seminar (RTSOPS 2016) Real-Time Networks and Systems (RTNS 2016) IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016) Workshop on Mixed Criticality (WMC 2015) Real-Time Networks and Systems (RTNS 2015) Real-Time Scheduling Open Problems Seminar (RTSOPS 2015) Languages, Compilers, and Tools for Embedded Systems (LCTES 2014) Real-Time Scheduling Open Problems Seminar (RTSOPS 2014) Real-Time Networks and Systems (RTNS 2014) Workshop on Worst-Case Execution Time Analysis (WCET 2014) Real-Time Networks and Systems (RTNS 2013) Real-Time Scheduling Open Problems Seminar (RTSOPS 2013) Junior Researcher Workshop on Real-Time Computing (JRWRTC 2011) Junior Researcher Workshop on Real-Time Computing (JRWRTC 2010) 4

6 Journal Reviewer: ACM Transactions on Embedded Computing Springer Real-Time Systems Journal Leibniz Transactions on Embedded Systems ACM Transactions on Architecture and Code Optimization IEEE Transactions on Automation Science and Engineering IEEE Transactions on Computers Journal of Systems Architecture (TECS) (RTSJ) (LITES) (TACO) (T-ASE) (TC) (JSA) Invited Presentations (selection) ACCESS Linneaus Centre, KTH Stockholm April 2016 The time is now: Timing Verification for Safety-Critical Multi-Cores Dagstuhl Seminar Mixed Criticality on Multi-/Manycores March 2015 Analysis of preemptive systems witch caches Panel Discussion HiRES Workshop, HiPEAC 2015 Jan Challenges of Timing Analysis for Many-Core Platforms AOSTE Group, Inria Rocquencourt Dec Analysis of preemptively scheduled hard real-time systems Real Time Systems Group, University of York Feb On the correctness, optimality and precision of static probabilistic timing analysis System Architecture and Networking Group, TU Eindhoven Dec Analysis of preemptively scheduled hard real-time systems Teaching Activities Several Guest Lectures on 2013/14 Computer Architecture and Embedded Systems, University van Amsterdam Lecture Course on Embedded Systems Winter Term 2012/13 Lecture Course on Embedded Systems Winter Term 2011/12 5

7 Lecture Course on Embedded Systems Winter Term 2010/11 Lecture Course on Embedded Systems Winter Term 2009/10 Lecture Course Computer Architecture Summer Term 2008 Student Supervisions Design Space Exploration for Real-Time Systems (working title) Ademar Ladema, University of Amsterdam, PhD Thesis (ongoing), co-supervision Model-Based Design for Automotive Systems (working title) Sakthivel Manikandan Sundharam, University of Luxembourg, PhD Thesis (ongoing), co-supervision Cache performance estimation for out-of-order execution (working title) Roeland Douma, University of Amsterdam, PhD Thesis (ongoing), co-supervision Deriving an Execution Time Distribution by Exhaustive Evaluation Boudewijn Braams, University of Amsterdam, Bachelor s Thesis Using Black box testing to determine the upper bounds of execution times Daniel Seper, University of Amsterdam, Bachelor s Thesis Extending TVLA to allow Allocation-Site Aware Shape Analysis of Hard Real-Time Applications Andreas Legrum, Saarland University,Bachelor s Thesis Framework for Fast Prototyping of Program analyses Hilmi Gökkaya, Saarland University, Bachelor s Thesis Cache-Aware Procedure Placement at Compile-Time 6

8 Maël Hörz, Saarland University,Bachelor s Thesis 7