MP

Professors

Address

Martensstraße 391058 Erlangen

Room: 05.139, Floor: 05

Consultation Hours

Monday: 12:0013:00 Nach Vereinbarung (per Email) / By appointment (via email)

 

Current Projects

No projects found.

Completed Projects

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

Ausgewählte Kapitel aus dem Übersetzerbau

Title Ausgewählte Kapitel aus dem Übersetzerbau
Short text inf2-ueb3
Module frequency nur im Wintersemester
Semester hours per week 2

Es ist keine Anmeldung erforderlich.

In der Vorlesung werden Aspekte des Übersetzerbaus beleuchtet, die über die Vorlesungen “Grundlagen des Übersetzerbaus” und “Optimierungen in Übersetzern” hinausgehen.
Voraussichtliche Themen sind:

  • Übersetzer u. Optimierungen für funktionale Programmiersprachen
  • Übersetzung aspektorientierter Programmiersprachen
  • Erkennung von Wettlaufsituationen
  • Software Watermarking
  • Statische Analyse und symbolische Ausführung
  • Binden von Objektcode und Unterstützung für dynamische Bibliotheken
  • Strategien zur Ausnahmebehandlung
  • Just-in-Time-Übersetzer
  • Speicherverwaltung und Speicherbereinigung
  • LLVM

Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.

1. Parallelgruppe

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Fri, 10:15 – 11:45 17.10.2025 – 06.02.2026 26.12.2025
19.12.2025
02.01.2026
  • Prof. Dr. Michael Philippsen
  • Tobias Heineken
  • David Schwarzbeck
  • Lukas Rotsching
11302.02.133

Grundlagen des Übersetzerbaus

Title Grundlagen des Übersetzerbaus
Short text inf2-ueb
Module frequency nur im Wintersemester
Semester hours per week 2

Voraussetzung zur Teilnahme an der Modulprüfung ist die erfolgreiche Bearbeitung der Übungsaufgaben.

1. Parallelgruppe

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Wed, 12:15 – 13:45 15.10.2025 – 04.02.2026 31.12.2025
24.12.2025
  • Prof. Dr. Michael Philippsen
11301.00.005

Parallele und Funktionale Programmierung

Title Parallele und Funktionale Programmierung
Short text PFP
Module frequency nur im Wintersemester
Semester hours per week 2

Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.

1. Parallelgruppe

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Tue, 12:15 – 13:45 14.10.2025 – 03.02.2026 06.01.2026
30.12.2025
23.12.2025
  • Prof. Dr. Michael Philippsen
  • Dr.-Ing. Norbert Oster
11907.01.030

Machine Learning: Advances

Title Machine Learning: Advances
Short text SemML-II
Module frequency nur im Wintersemester
Semester hours per week 2

Anmeldung mit Themenanfrage per E-Mail vor Beginn des Seminars; Die Themen werden nach dem Prinzip “Wer zuerst kommt, mahlt zuerst” verteilt.

1. Parallelgruppe

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
nach Vereinbarung –
  • Tobias Feigl
Einzeltermin Thu, 14:00 – 15:00 23.10.2025 – 23.10.2025 11302.04.150
Blockveranstaltung+Sa Sat, 09:00 – 16:00 03.01.2026 – 28.03.2026 06.01.2026
05.01.2026
03.01.2026

Machine Learning: Introduction

Title Machine Learning: Introduction
Short text SemML-I
Module frequency nur im Wintersemester
Semester hours per week 2

Anmeldung mit Themenanfrage per E-Mail vor Beginn des Seminars; Die Themen werden nach dem Prinzip “Wer zuerst kommt, mahlt zuerst” verteilt.

1. Parallelgruppe

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
nach Vereinbarung –
  • Tobias Feigl
Einzeltermin Thu, 14:00 – 15:00 23.10.2025 – 23.10.2025 11302.04.150
Blockveranstaltung+Sa Sat, 09:00 – 16:00 03.01.2026 – 28.03.2026 05.01.2026
06.01.2026
03.01.2026

Begleitseminar zu Bachelor- und Masterarbeiten

Title Begleitseminar zu Bachelor- und Masterarbeiten
Short text inf2-bs-bama
Module frequency in jedem Semester
Semester hours per week 3

1. Parallelgruppe

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Mon, 12:15 – 13:45 13.10.2025 – 02.02.2026 22.12.2025
05.01.2026
29.12.2025
  • Prof. Dr. Michael Philippsen
11302.04.150

Übungen zu Ausgewählte Kapitel aus dem Übersetzerbau

Title Übungen zu Ausgewählte Kapitel aus dem Übersetzerbau
Short text inf2-ueb3-ex
Module frequency nur im Wintersemester
Semester hours per week 2

Blockveranstaltung n.V. nach der Vorlesungszeit.

Die Übungen zu Übersetzerbau 3 stellen eine Ergänzung zur Vorlesung dar. In der Vorlesung wird unter anderem die Architektur und Funktionsweise einer virtuellen Maschine beleuchtet. In den Übungen soll dies praktisch umgesetzt werden. Hierzu sollen die Studenten in einer Blockveranstaltung eine kleine virtuelle Maschine selbst implementieren. Den Anfang bildet das Einlesen des Byte-Codes und am Ende soll ein funktionsfähiger optimierender Just-in-Time-Übersetzer entstehen.
Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.

1. Parallelgruppe

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
Blockveranstaltung Mon, 09:00 – 16:00 23.02.2026 – 27.02.2026
  • Tobias Heineken
  • David Schwarzbeck
11302.01.153

Übungen zu Grundlagen des Übersetzerbaus

Title Übungen zu Grundlagen des Übersetzerbaus
Short text inf2-ueb-ex
Module frequency nur im Wintersemester
Semester hours per week 2

Im Rahmen der Übungen werden die in der Vorlesung vorgestellten Konzepte und Techniken zur Implementierung eines Übersetzers in die Praxis umgesetzt. Ziel der Übungen ist es, bis zum Ende des Semesters einen funktionsfähigen Übersetzer für die Beispiel-Programmiersprache e2 zu implementieren. Die hierfür nötigen zusätzlichen Kenntnisse (z.B. Grundlagen des Assemblers für x86-64) werden in den Tafelübungen vermittelt. Die im Laufe des Semesters zu erreichenden Meilensteine sind im StudOn-Eintrag der Vorlesung aufgelistet. Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.

1. Parallelgruppe

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Tue, 12:15 – 13:45 14.10.2025 – 03.02.2026 23.12.2025
06.01.2026
30.12.2025
  • David Schwarzbeck
11302.00.152

Im Rahmen der Übungen werden die in der Vorlesung vorgestellten Konzepte und Techniken zur Implementierung eines Übersetzers in die Praxis umgesetzt. Ziel der Übungen ist es, bis zum Ende des Semesters einen funktionsfähigen Übersetzer für die Beispiel-Programmiersprache e2 zu implementieren. Die hierfür nötigen zusätzlichen Kenntnisse (z.B. Grundlagen des Assemblers für x86-64) werden in den Tafelübungen vermittelt. Die im Laufe des Semesters zu erreichenden Meilensteine sind im StudOn-Eintrag der Vorlesung aufgelistet. Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.

2. Parallelgruppe

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Fri, 12:15 – 13:45 17.10.2025 – 06.02.2026 26.12.2025
02.01.2026
19.12.2025
  • David Schwarzbeck
  • Tobias Heineken
11302.02.133

Im Rahmen der Übungen werden die in der Vorlesung vorgestellten Konzepte und Techniken zur Implementierung eines Übersetzers in die Praxis umgesetzt. Ziel der Übungen ist es, bis zum Ende des Semesters einen funktionsfähigen Übersetzer für die Beispiel-Programmiersprache e2 zu implementieren. Die hierfür nötigen zusätzlichen Kenntnisse (z.B. Grundlagen des Assemblers für x86-64) werden in den Tafelübungen vermittelt. Die im Laufe des Semesters zu erreichenden Meilensteine sind im StudOn-Eintrag der Vorlesung aufgelistet. Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.

3. Parallelgruppe

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Tue, 16:15 – 17:45 14.10.2025 – 03.02.2026 06.01.2026
23.12.2025
30.12.2025
  • Tobias Heineken
11302.02.134

Übungen zu Parallele und Funktionale Programmierung

Title Übungen zu Parallele und Funktionale Programmierung
Short text UePFP
Module frequency nur im Wintersemester
Semester hours per week 2

1. Parallelgruppe

Maximum number of participants: 40

Link to Campo

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Wed, 08:15 – 09:45 15.10.2025 – 04.02.2026 31.12.2025
24.12.2025
11302.02.133

2. Parallelgruppe

Maximum number of participants: 40

Link to Campo

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Fri, 14:15 – 15:45 17.10.2025 – 06.02.2026 02.01.2026
19.12.2025
26.12.2025
11302.02.133

3. Parallelgruppe

Maximum number of participants: 40

Link to Campo

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Mon, 10:15 – 11:45 13.10.2025 – 02.02.2026 29.12.2025
22.12.2025
05.01.2026
11302.02.133

4. Parallelgruppe

Maximum number of participants: 40

Link to Campo

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Wed, 16:15 – 17:45 15.10.2025 – 04.02.2026 31.12.2025
24.12.2025
  • Dr.-Ing. Norbert Oster
  • Ludwig Schmotzer
11302.02.133

5. Parallelgruppe

Maximum number of participants: 40

Link to Campo

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Tue, 14:15 – 15:45 14.10.2025 – 03.02.2026 30.12.2025
06.01.2026
23.12.2025
  • Dr.-Ing. Norbert Oster
  • Ludwig Schmotzer
11302.00.152

6. Parallelgruppe

Maximum number of participants: 40

Link to Campo

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Wed, 10:15 – 11:45 15.10.2025 – 04.02.2026 24.12.2025
31.12.2025
11302.02.133

12. Parallelgruppe

Maximum number of participants: 25

Link to Campo

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Fri, 14:15 – 15:45 17.10.2025 – 06.02.2026 19.12.2025
26.12.2025
02.01.2026
11302.00.153

13. Parallelgruppe

Maximum number of participants: 25

Link to Campo

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Tue, 14:00 – 16:00 14.10.2025 – 03.02.2026 30.12.2025
06.01.2026
23.12.2025
11302.00.153

14. Parallelgruppe

Maximum number of participants: 25

Link to Campo

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Wed, 14:00 – 16:00 15.10.2025 – 04.02.2026 24.12.2025
31.12.2025
11302.00.153

15. Parallelgruppe

Maximum number of participants: 25

Link to Campo

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Thu, 16:00 – 18:00 16.10.2025 – 05.02.2026 01.01.2026
25.12.2025
  • Dr.-Ing. Norbert Oster
11302.00.153

11. Parallelgruppe

Maximum number of participants: 25

Link to Campo

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Wed, 10:00 – 12:00 15.10.2025 – 04.02.2026 31.12.2025
24.12.2025
11302.00.153

7. Parallelgruppe

Maximum number of participants: 40

Link to Campo

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Thu, 08:15 – 09:45 16.10.2025 – 05.02.2026 01.01.2026
25.12.2025
11302.02.133

16. Parallelgruppe

Date and Time Start date – End date Cancellation date Lecturer(s) Comment Room
wöchentlich Thu, 10:15 – 11:45 16.10.2025 – 05.02.2026 25.12.2025
01.01.2026
  • Dr.-Ing. Norbert Oster
  • Ludwig Schmotzer
14201.00.001

 

  • (Secondary Application: WO2013091908)
    Erfinder: , ,
  • (Secondary Application: WO2013091907)
    Erfinder: , ,
  • (Priority Patent Application: DE102011089180)
    Erfinder: , ,
  • (Priority Patent Application: DE102011089181)
    Erfinder: , ,
  • (Priority Patent Application: EP2469496 (EP10196851))
    Erfinder: ,

Programme-/Steering Committees

Working groups, commissions, committees

Current:

Former:

  • Mitglied Berufungsausschuss W3 Data- und Software-Engineering (Nachfolge Leis), 12/2022-08/2024.
  • Mitglied Berufungskommission W3 Informatik (Systemsoftware), Friedrich-Schiller Universität FSU Jena, 01/2020-06/2022
  • Vorsitzender Berufungsausschuss W2 Didaktik der Informatik (Nachfolge Romeike), 11/2018-11/2019.
  • Kommissarische Leitung der Professur für Didaktuk der Infrmatik, 10/2018-11/2019.
  • Mitglied der Studienkommission Informatik, 11/2018-11/2019.
  • Mitglied des Vorstands des Zentrums für Lehrerbildung, 10/2018-11/2019.
  • Mitglied Berufungsausschuss W3 Experimentelle Astroteilchenphysik (Nachfolge Anton), 12/2017-05/2019.
  • Mitglied Berufungsausschuss W3 Visual Computing (Nachfolge Greiner), 06/2016-12/2017.
  • Mitglied der Raum- und Baukommission der Technischen Fakultät, 10/2013-04/2015.
  • Stellvertretender Sprecher der Kollegialen Leitung des Department Informatik, 10/2011-09/2013.
  • Kommissarische Leitung der Professur für Didaktik der Informatik, 08/2012-09/2013.
  • Vorsitzender Berufungsverfahren W2-Professur Didaktik der Informatik (Nachfolge Brinda), 07/2012-02/2013.
  • Mitglied der Prüfungsausschusses MA Internationale Wirtschaftsinformatik, 12/2008-11/2019.
  • Mitglied der Berufungskommission W1-Professur für Digitalen Sport, 12/2009-02/2011.
  • Mitglied der Berufungskommission W3-Professur für IT-Sicherheitsinfrastrukturen, 10/2009-12/2010.
  • Schriftführer des Berufungsausschusses W2-Professur Open Source Software, 07/2008-09/2009.
  • Externes Mitglied der Berufungskommission W3-Professur für Softwaresysteme an der Universität Passau, 06/2008-10/2008.
  • Mitglied des Senats und des Hochschulrats der Friedrich-Alexander-Universität, 10/2007-09/2009.
  • Mitglied des Fachbereichsrats der Technischen Fakultät, 10/2004-09/2009.
  • Mitglied der Kommission zur Verteilung und Verwendung der Studienbeiträge der Informatik, 11/2006-09/2009 (für den Studiengang Informatik: 11/2006-09/2007, für den Studiengang IuK 10/2007-09/2009, 05/2010-09/2010)
  • Mitglied der Berufungskommission W2-Professur für technisch-wissenschaftl. Höchstleistungsrechnen, 05/2006-12/2007.
  • IT-Generalist der DFG-Expertenkommission zur Begleitung des Projekts Online-Wahl der Fachkollegien 2007, 04/2006-06/2008.
  • Mitglied der Berufungskommission W2-Professur für Informatik (Datenbanksysteme, Nachfolge Jablonski), 01/2006-09/2007.
  • Kommissarische Leitung des Lehrstuhls Informatik 3, Rechnerarchitektur, 10/2005-02/2009.
  • Exportbeauftragter des Instituts für Informatik, 10/2005-11/2007.
  • Arbeitsgruppe Bachelor/Master für den Studiengang Informatik, 05/2005-08/2007.
  • Arbeitsgruppe Bachelor/Master für den Studiengang Informations- und Kommunikationstechnik, 05/2005-01/2006.
  • Geschäftsführender Vorstand des Instituts für Informatik, 10/2004-09/2005.
  • Mitglied der Strukturkommission der Technischen Fakultät, 10/2004-09/2005.
  • Mitglied des Consilium Techfak, 10/2004-09/2005.
  • Vorstand des Interdisziplinären Zentrums für funktionale Genomik, FUGE, 09/2004-06/2009.
  • Arbeitsgruppe Bibliotheksmodernisierung, 04/2004-12/2012.
  • Mitglied der Berufungskommission W3-Professur für Informatik (Rechnerarchitektur, Nachfolge Dal Cin), 11/2003-02/2009.
  • Mitglied der Studienkommission Informations- und Kommunikationstechnik, 10/2003-09/2005.
  • Mitglied der Studienkommission Wirtschaftsinformatik, seit 04/2002.
  • Mitglied der Studienkommission Informatik, 04/2002-09/2011.
  • Senatsberichterstatter Berufungsverfahren C3-Professur Organische Chemie (Nachf. Saalfrank), 08/2004-02/2005.
  • Schriftführer Berufungsverfahren C3-Professur Didaktik der Informatik, 04/2004-03/2005.
  • Mitglied der Berufungskommission C3-Professur für Informatik (Nachfolge Müller), 11/2003-07/2004.
  • Mitglied der Berufungskommission C3-Professur für Numerische Simulation mit Höchstleistungsrechnern, 07/2002-01/2003.
  • Mitglied der Berufungskommission C4-Professur für Informatik (Rechnernetze und Kommunikationssysteme), Nachfolge Herzog, 04/2002-02/2003.

Reviewing for journals

  • ACM Transactions on Software Engineering and Methodology, TOSEM
  • ACM Transactions on Programming Languages and Systems, TOPLAS
  • IEEE Transactions on Parallel and Distributed Systems
  • Journal of Parallel and Distributed Computing
  • Concurrency – Practice and Experience
  • Software – Practice and Experience
  • Journal of Systems and Software
  • Informatik-Spektrum
  • Informatik – Forschung und Entwicklung

Memberships

Doctoral theses and postdoctoral dissertations

Supervised:

2024

2023

2022

2021

2019

2018

2017

2014

2012

2010

2009

2007

2006

2004

2003

2002

Own:

Student theses

Our thesis are managed using StudOn.
Please use the available filters to search for specific entries.

Student theses at KIT (Karlsruhe)

  1. Marqc Schanne: Software-Architekturen für lokalitätsabhägige Diensterbringung auf mobilen Endgeräten. [DA]
    Betreuer: Philippsen, M.: abgeschlossen 2002
  2. Sven Buth: Persistenz von verteilten Objekten im Rahmen eines offenen, verteilten eCommerce-Frameworks. [DA]
    Betreuer: Philippsen, M.: abgeschlossen 2002
  3. Jochen Reber: Verteilter Garbage Collector für JavaParty. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 2000
  4. Thorsten Schlachter: Entwicklung eines Java-Applets zur diagrammbasierten Navigation innerhalb des WWW. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1999
  5. Edwin Günthner: Komplexe Zahlen für Java. [DA]
    Betreuer: Philippsen, M.: abgeschlossen 1999
  6. Christian Nester: Ein flexibles RMI Design für eine effiziente Cluster Computing Implementierung. [DA]
    Betreuer: Philippsen, M. abgeschlossen 1999
  7. Daniel Lukic: ParaStation-Anbindung für Java. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1998
  8. Jörg Afflerbach: Vergleich von verteilten JavaParty-Servlets mit äquivalenten CGI-Skripts. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1998
  9. Thomas Dehoust: Abbildung heterogener Datensätze in Java. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1998
  10. Guido Malpohl: Erkennung von Plagiaten unter einer Vielzahl von ähnlichen Java-Programmen. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1997
  11. Bernhard Haumacher: Lokalitätsoptimierung durch statische Typanalyse in JavaParty. [DA]
    Betreuer: Philippsen, M.: abgeschlossen 1997
  12. Matthias Kölsch: Dynamische Datenobjekt- und Threadverteilung in JavaParty. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1997
  13. Christian Nester: Parallelisierung rekursiver Benchmarks für JavaParty mit expliziter Datenobjekt- und Threadverteilung. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1997
  14. Matthias Jacob: Parallele Realisierung geophysikalischer Basisalgorithmen in JavaParty. [DA]
    Betreuer: Philippsen, M.: abgeschlossen 1997
  15. Oliver Reiff: Optimierungsmöglichkeiten für Java-Bytecode. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1996
  16. Marc Schanne: Laufzeitverhalten und Portierungsaspekte der Java-VM und ausgewählter Java-Bibliotheken. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1996
  17. Edwin Günthner: Portierung der Java VM auf den Multimedia Video Prozessor MVP TMS320C80. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1996
  18. Matthias Zenger: Transparente Objektverteilung in Java. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1996
  19. Matthias Winkel: Erweiterung von Java um ein FORALL. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1996
  20. Roland Kasper: Modula-2*-Benchmarks in einem Netz von Arbeitsplatzrechnern. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1993
  21. Markus Mock: Alignment in Modula-2*. [DA]
    Betreuer: Philippsen, M.: abgeschlossen 1992
  22. Stefan Hänßgen: Ein symbolishcer X Windows Debugger für Modula-2*. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1992
  23. Paul Lukowicz: Code-Erzeugung für Modula-2* für verschiedene Maschinenarchitekturen. [DA]
    Betreuer: Philippsen, M.: abgeschlossen 1992
  24. Hendrik Mager: Die semantische Analyse von Modula-2*. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1992
  25. Ernst Heinz: Automatische Elimination von Synchronisationsbarriere in synchronen FORALLs. [DA]
    Betreuer: Philippsen, M.: abgeschlossen 1991
  26. Stephan Teiwes: Die schnellste Art zu multiplizieren? – Der Algorithmus von Schönhage und Strassen auf der Connection Machine. [SA]
    Betreuer: Philippsen, M.: abgeschlossen 1991
  27. Ralf Kretzschmar: Ein Modula-2*-Übersetzer für die Connection Machine. [DA]
    Betreuer: Philippsen, M.: abgeschlossen 1991

Professional career

04/02 – heute Full Professor (W3), Chair of the Programming Systems Group (Informatik 2) of the Friedrich-Alexander Universität Erlangen-Nürnberg, Germany
06/10 Rejected appointment as Full Professor (W3) for Parallel and Distributed Architectures at the Johannes-Gutenberg University Mainz
01/98 – 03/02 Department manager of the Softwaretechnik/Authorized Java Center group at FZI Forschungszentrum Informatik, Karlsruhe, Germany
09/95 – 09/01 Assistant Professor (Hochschulassistent, C1) at IPD, Institute for Programming Systems, Chair of Prof. Tichy, at KIT, Karlsruhe Institute of Technology
09/94 – 08/95 Post-Doc at ICSI (International Computer Science Institute) of the University of Berkeley, California
02/90 – 08/94 Research Assistant (BAT IIa) and PhD student at IPD, Institute for Programming Systems, Chair of Prof. Tichy, at KIT, Karlsruhe Institute of Technology

Education 

07/01 Habilitation in Computer Science at KIT, Karlsruhe Institute of Technology, Topic: Performance Aspects of Parallel Object-Oriented Programming Languages.
11/93 PhD (Dr. rer. nat.) in Computer Science (summa cum laude), at KIT, Karlsruhe Institute of Technology, Topic: Optimization Techniques for Compiling Parallel Programming Languages; Advisors: Prof. Dr. Walter F. Tichy and Prof. Dr. G. Goos
WS 85/86 – 89/90 Diplom (BA and MA) in Computer Science with Minor Industrial Engineering and Management (Wirtschaftsingenieurwesen), at KIT, Karlsruhe Institute of Technology

01/90 Diplom/MA (A/sehr gut)
08/89 – 12/89 Diploma/MA thesis at ENC, IBM European Networking Center, in Heidelberg; Topic: Replication for a distributed file system in a heterogeneous network; Advisors: Dr. Ulf Hollberg (IBM) and Prof. Dr. G. Krüger (Institute of Telematics)
01/89 – 03/89 BA thesis (Studienarbeit) at the Institute of Telematics; Topic: Classification of consistency protocols for replicated file systems in distributed systems; Advisors: Dr. Cora Förster and Prof. Dr. G. Krüger
04/88 – 07/88 Student Assistant at IPD, the Institute for Programming Systems, Chair of Prof. Tichy, Teaching Assistant for Informatik IV
04/88 – 12/88 Student Assistant at FZI Forschungszentrum Informatik, Distributed Relational Databases, Project Kardamom, Principle Investigator Prof. Dr. P. Lockemann
10/87 Vordiplom/BA (B/gut)
05/85 Abitur (secondary school exam/university entrance level qualification), (1.6, third of class of 1985)
08/76 – 05/85 Theodor-Heuss-Gymnasium, Essen-Kettwig, Germany
08/72 – 06/76 Schmachtenbergschule, Kettwig, Germany

Prizes, awards, nominations

2021
2023
2019
2015
2014 von der Technischen Fakultät der Friedrich-Alexander Universität Erlangen-Nürnberg und ihrer Fachschaft Informatik nominiert für den Ars legendi-Preis für exzellente Hochschullehre des Stifterverbands und der Hochschulrektorenkonferenz
2008
2008

International experience

05/15 – 16/15 ICSI (International Computer Science Institute) of UCB, University of Berkeley, CA
12/10 – 03/11 Microsoft Research, Research in Software Engineering (RiSE) Group, Redmond, WA
09/94 – 08/95 ICSI (International Computer Science Institute) of UCB, University of Berkeley, CA
02/96 – 04/96 another research stay at ICSI in Berkeley, CA
02/92 – 03/92 Research stay at INRIA (Institut National de Recherche en Informatique et en Automatique), Sophia Antipolis, France
02/91 – 03/91 another research stay at INRIA in Sophia Antipolis, France
02/90 – heute Countless trips to international scientific conferences to give formal presentations

Consulting

04/91 – heute Self-empoyed management consulting and expert’s reports for various industry and crafts enterprises
10/99 – 01/13 Design and development of a use-case specific Content-Management-Systems; for ISO Arzneimittel GmbH & Co. KG
12/95 – 12/97 Design and development of a Java extension for scalable Internet services and electronic trade; .for Electric Communities, CA
01/96 – 05/96 Design of an applicaiton for Mercedes-Benz Lease & Finanz GmbH (now Mercedes-Benz-Bank AG)
07/85 – 03/91 Working student at Stinnes Organisationsberatung GmbH, various tasks across both Stinnes AG (now DB Schenker AG) and Veba AG (now E.ON AG)
01/84 – 12/86 Freelance system analyst and software developer at the headquarter of Horten AG (now Galeria Karstadt Kaufhof GmbH)
07/84 – 08/84 Working student at Brenntag Mineralöl GmbH; analysis and black box testing of an externally procured merchandise planning and control system


Software-Wasserzeichen

(Projekt aus Eigenmitteln)

Projektleitung:
Projektbeteiligte: ,
Projektstart: 01.01.2016
Akronym: SoftWater
URL: https://www.ps.tf.fau.de/forschung/forschungsprojekte/softwater/

Abstract:

Unter Software-Wasserzeichnen versteht man das Verstecken von ausgewählten Merkmalen in Programme, um sie entweder zu identifizieren oder zu authentifizieren. Das ist nützlich im Rahmen der Bekämpfung von Software-Piraterie, aber auch um die richtige Nutzung von Open-Source Projekten (wie zum Beispiel unter der GNU Lizenz stehende Projekte) zu überprüfen. Die bisherigen Ansätze gehen davon aus, dass das Wasserzeichen bei der Entwicklung des Codes hinzugefügt wird und benötigen somit das Verständnis und den Beitrag der Programmierer für den Einbettungsprozess. Ziel unseres Forschungsprojekts ist es, ein Wasserzeichen-Framework zu entwickeln, dessen Verfahren automatisiert beim Übersetzen des Programms Wasserzeichen sowohl in neu entwickelte als auch in bestehende Programme hinzufügen. Als ersten Ansatz untersuchten wir eine Wasserzeichenmethode, die auf einer symbolischen Ausführung und anschließender Funktionsynthese basiert.
Im Jahr 2018 wurden im Rahmen von zwei Bachelorarbeiten Methoden zur symbolischen Ausführung und Funktionssynthese untersucht, um zu ermitteln, welche sich für unseren Ansatz am Besten eignet.
Im Jahr 2019 wurde ein Ansatz auf Basis der LLVM Compiler Infrastruktur untersucht, der mittels konkolischer Ausführung (concolic execution, eine Kombination aus  symbolischer und konkreter Ausführung) ein Wasserzeichen in einem ungenutzten Hardwareregister versteckt. Hierzu wurde der LLVM-Registerallokator dahingehend verändert, dass er ein Register für das Wasserzeichen freihält.
Im Jahr 2020 wurde das inzwischen LLWM genannte Rahmenprogramm für das automatische Einfügen von Software-Wasserzeichen in Quellcode auf Basis der LLVM Compiler Infrastruktur um weitere dynamische Verfahren erweitert. Grundlage der hinzugefügten Verfahren sind, unter anderem, das Ersetzen/Verschleiern von Sprungadressen sowie Modifikationen des Aufrufgraphen.
Im Jahr 2021 wurde das Rahmenprogramm LLWM um weitere angepasste, bereits in der Literatur bekannte, dynamische Verfahren sowie um das eigene Verfahren erweitert, das wir nun IR-Mark nennen Die hinzugefügten Verfahren basieren unter anderem auf der Umwandlung von bedingten Konstrukten in semantisch äquivalenten Schleifen oder auf Integrieren von Hashfunktionen, die die Funktionalität des Programms unverändert lassen, die Widerstandsfähigkeit aber erhöhen. IR-Mark wählt nun nicht nur gezielt die wenigen Funktionen aus, in denen die Registerverwendung bei der Code. Erzeugung verändert wird, sondern umfasst nun auch dynamische Aspekte um in den freigehaltenen Registern sinnvoll erscheinende Tarnwerte zu berechnen. Ein Artikel über LLWM und IR-Mark konnte publiziert werden.
Im Jahr 2022 wurde das Rahmenprogramm LLWM um ein weiteres angepasstes Verfahren ergänzt. Die Methode nutzt  Ausnahmebehandlungen, um das Wasserzeichen zu tarnen.
Im Jahr 2023 wurden mehr Methoden angepasst, um das LLWM-Framework zu erweitern. Hierzu zählen Techniken zum Einbetten, die auf Prinzipien der Zahlentheorie und des Aliasings beruhen.
Im Jahr 2024 wurden drei neue Wasserzeichen entwickelt: Register Expansion, SemaCall und SideData. Diese Techniken konstruieren streufunktionsartige Arithmetiken, um während der Laufzeit einen Schlüsselwert in die Wasserzeichennachricht umzurechnen. Die ersten beiden Techniken wurden in dem Papier „Register Expansion and SemaCall: 2 Low-overhead Dynamic Watermarks Suitable for Automation in LLVM” auf dem CheckMATE’24 Workshop in Salt Lake City publiziert. 
Im Jahr 2025 wurde das erweiterte Papier “Register Expansion, SemaCall, and SideData: Three Low-Overhead Dynamic Watermarks Suitable for Automation in LLVM” in dem DTRAP-Journal publiziert. Es wurde eine neue Wasserzeichentechnik entwickelt, die ein unentscheidbares Problem benutzt, um Wasserzeichen in Programme einzubetten. Es wird an automatisierten Angriffstechniken auf Basis von LLMs (Large Language Model) und Testfall Reduzierern gearbeitet, die erlauben, die Resilienz einzelner Wasserzeichentechniken empirisch zu vermessen.

Publikationen: