Curriculum Vitae

University Assistant (PostDoc), TU Wien, Vienna, Austria

PhD Research Fellow, University of Oslo, Oslo, Norway

Teaching Assistant, University of Münster, Münster, Germany

PhD in Computer Science, University of Oslo, Oslo, Norway

Thesis: Formal Methods for Self-Adaptive Systems

Supervisors: Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen, and Carlos Hernández Corbato

• Part of the Marie Skłodowska-Curie Actions Innovative Training Network REMARO

MSc in Mathematics, University of Münster, Münster, Germany

Thesis: Forking Independence in the Free Group

• Graduated with honours

BSc in Mathematics, University of Münster, Münster, Germany

Thesis: The conditions (R_k), (S_k) and Serre's criterion for normality