Experience

  1. Formal Verification Engineer

    Apple
    Formal verification in the Hardware Tech Group at Apple.

  2. Post Doctoral Researcher

    TU Wien, CPS Research Group
    Analysis and verification of (stochastic) hybrid systems (with WWU Münster), controller verification in Simplex architectures (with TU Graz), statistical model checking for hyperproperties (with Michigan State University).

  3. Post Doctoral Researcher

    WWU Münster, AG Sicherheitskritische Systems
    Analysis and Verification of Stochastic Hybrid Systems. This involved: Independent lead of the tool development on reachability analysis of stochastic hybrid systems.

  4. Post Doctoral Researcher

    RWTH Aachen University, Theory of Hybrid Systems
    Modeling and Verification of Hybrid Systems. This involved: industrial cooperation with Ford Motor Company on the analysis of software tools for hybrid systems verification in the automotive sector.

Education

  1. PhD Computer Science

    RWTH Aachen University

    Thesis: “State Set Representations and their Application in Hybrid Systems Reachability Analysis”

    Supervisors: Erika Ábrahám, Goran Frehse

    Read Thesis

  2. MS Computer Science

    RWTH Aachen University

    Thesis: “Using Interval Constraint Propagation in SMT reliant Decision Procedures”

    Focus on: Theoretical computer science: software modeling and verification, hybrid systems and SMT solving. Elective: Mechanical engineering

  3. BS Computer Science

    RWTH Aachen University

    Thesis: “Using Quorum Schemes for Neighbor Discovery in Wireless Sensor Networking”

    Focus on: Sensor networks, automata theory Elective: Mechanical engineering

Skills & Hobbies
Hobbies
Running & other sports
Handcrafting
Cooking
Sci-Fi Reading
Languages
100%
German
90%
English