cv

Diploma in Mathematics and Computer Science (Lehramt)

PhD in Mathematics

• PhD student at chair Mathematical Foundations of Computer Science under supervision of Prof. Dr. Erich Grädel
• Dissertation: Linear Equation Systems and the Search for a Logical Characterisation of Polynomial Time
• Research Areas
  • Logic in Computer Science (Finite Model Theory)
  • Automatic Structures
  • Infinite Games

Postdoctoral Researcher

• Applications of Finite Model Theory in Propositional Proof Complexity

Postdoctoral Researcher

• DFG Research Fellowship with topic Algebraic Mehtods in Finite Model Theory

Process Analyst

• (Data-driven) analysis of border control process
• Technical specification of architecture and business logic for national and European IT systems

Professor of Computer Science

• Teaching: Theoretical Computer Science, Mathematics, Relational Databases, Process Mining
• Research: Process Mining, Formal Methods in Process Mining, Algorithms and Complexity

Professor of Artificial Intelligence

• Teaching: Computer Science, Artificial Intelligence, Mathematics, Process Mining
• Research: Process Mining, Formal Methods in Process Mining, Algorithms and Complexity

Causality Assessment of Adverse Drug Events with Transformer Models

• Research stay at Federal Institute for Drugs and Medical Devices (BfArM), Bonn, Germany (from 10/2023 - 03/2024)
• Ongoing collaboration with research department of BfArM

Process Mining in the Context of Border Control Systems

• Joint research project with Federal Office for Information Security (BSI), Bonn, Germany
• Application of process mining techniques to the analysis border control processes

• Springorum Denkmünze (Graduation with distinction)

• Annual Teaching Award Computer Science Department, RWTH Aachen University

• Borchers-Plakette (PhD summa cum laude)