Digitale Systeme und Embedded Programming

Wintersemester

Sommersemester

Hochschulgremien

  • Prodekan Fachbereich Elektrotechnik und Informatik
  • Fachbereichsrat Elektrotechnik und Informatik

Mitglied im redaktionellen Beirat (Associate Editor)

  • ACM Transactions on Embedded Computing Systems: Associate Editor

Gutachterliche Tätigkeiten

  • ACM Transactions on Programming Languages and Systems (TOPLAS)
  • IEEE Transactions on Computers
  • IEEE Embedded Systems Letters
  • Conference on Programming Language Design and Implementation (PLDI)
  • Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Mitarbeit in Programmkomitees

  • ACM/IEEE International Conference on Methods and Models for Codesign (MEMOCODE): 2018, 2017
  • Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV): 2018, 2017, 2016, 2015, 2014, 2013 u.a.
  • International Conference on Application of Concurrency to System Design (ACSD) 2015, 2014, 2013 u.a.
  • IEEE International Symposium on High Level Design Validation and Test (HLDVT) 2013 u.a.
  • Electronic System Level Synthesis Conference (ESLsyn) 2013 u.a.

Beruflicher Werdegang

  • seit 03/2016: Hochschullehrer
    Hochschule Niederrhein, Fachbereich Elektrotechnik und Informatik
  • 08/2015 bis 02/2016: Forschungsingenieur
    Robert Bosch GmbH, Zentrale Forschung und Vorausentwicklung
  • 10/2012 bis 07/2015: Produktsoftware-Ingenieur
    Robert-Bosch GmbH, Entwicklung Motorsteuergeräte
  • 07/2007 bis 09/2012: wissenschaftlicher Mitarbeiter
    Technische Universität Kaiserslautern, Fachbereich Informatik

Akademische Ausbildung

  • 07/2013: Habilitation
    Fachbereich Informatik, Technische Universität Kaiserslautern
    Thema: Synchronous Models for Embedded Software
  • 06/2007: Promotion (Dr.-Ing.)
    Fachbereich Informatik, Technische Universität Kaiserslautern
    Thema: Polygon Processing for Safety-Critical Embedded Systems
  • 09/2003: Diplom (Dipl.-Inf.) in Angewandter Informatik,
    Fachbereich Informatik, TU Kaiserslautern