Doctoral Researcher in Computer Science

Based in the united kingdom

53

Citations

5

H-Index

About Me

My personal motto is “it’s about becoming the best version of yourself”. Great goals come with great efforts, and, although people would describe me as more of a sociable, either nerdy or knowledgeable person, my most valuable skill has to be perseverance, the skill of never settling for less.

Awards and Honors

Selected Publications

What i'm currently working on

Current Projects

Newcastle University, Newcastle Upon Tyne, UK
Formal verification of stochastic systems using Binary-Tree Gaussian Processes (BTGPs) for efficient abstraction. BTGPs naturally partition the state space, simplifying error quantification. This yields formal models that are amenable to model checking.

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations

NEWCASTLE UNIVERSITY, NEWCASTLE UPON TYNE, UK

life is a journey, asymptotically leading to wisdom

Education

01/2022 – today

PhD Computer Science

NEWCASTLE UNIVERSITY, Newcastle upon Tyne (UK)

Supervisor: Dr Sadegh Soudjani

Topic: Robust Formal Verification and Synthesis of Cyber-Physical Systems

10/2018 – 06/2021

MSc Mechanical Engineering

Paderborn University, Paderborn (GER)

Focus on Mechatronics and Machine Learning
Grade: 1.1/A+/First

01/2020 – 06/2020

MSc Energy and Environmental Technology
(exchange semester)

UNIVERSITY OF SOUTH-EASTERN NORWAY, Porsgrunn (NOR)

Focus on Energy-, Environmental- and Biotechnology
Grade: 1.2/A+/First

10/2015 – 09/2018

BSc Mechanical Engineering

Paderborn University, Paderborn (GER)

Focus on Product Development
Grade: 1.7/A-/First

08/2007 – 06/2015

Abitur NRW

GYMNASIUM MARIA KÖNIGIN, LENNESTADT-ALTENHUNDEM (GER)

Grade: 1.3/A/First

building expertise

Work Experience

2022-today

09/2022 – 01/2024

Demonstrator

NEWCASTLE UNIVERSITY, Newcastle upon Tyne (UK)

Tutoring on CS modules including bio-inspired algorithms, biomedical data analytics + AI, Python, modeling and reasoning.

02/2023 – today

MSc/BSc Supervisor​

NEWCASTLE UNIVERSITY, NEWCASTLE UPON TYNE (UK)

Supervising students in their degree projects.

02/2023 – 11/2023

Venture Scientist

Conception X, London (UK)

Deeptech entrepreneurship; Member of Cohort 6.

10/2022 – 01/2024

Treasurer

ESN Newcastle, Newcastle upon Tyne (UK)

Accounting and planning finances for one of the UK’s biggest sections of the Erasmus Student Network.

2020/2021

11/2020 – 06/2021

Scientific Assistant

HEINZ NIXDORF INSTITUT, PADERBORN​ (GER)

Model-Based Systems Engineering (MBSE): Development of AI-based algorithms for system model analysis

02/2021 – 05/2021

Student Trainee

ROBERT BOSCH GMBH, STUTTGART​ (GER)

AI-aided Control Development for a Lab-on-Chip System using Hybrid Model Approaches

07/2021 – 12/2021

Research Assistant

HEINZ NIXDORF INSTITUT, PADERBORN​ (GER)

Physics-guided Neural Networks (PGNN): Development of novel hybrid modelling concepts for physically valid system models

2015-2019

07/2015-10/2015

Technical Intern

MARTINREA HONSEL, MESCHEDE (GER)

Application of basic manufacturing processes; maintenance and operation of facilities for high-pressure aluminium die casting

08/2017

Technical Intern

HARTING APPLIED TECHNOLOGIES, ESPELKAMP​ (GER)

Construction, assembly, E-planning, PLC programming, and project management within customer projects

04/2018 – 12/2019

Graduate Assistant

Paderborn University, PADERBORN​ (GER)

Electrical Engineering: Conception, acquisition and management of technical didactic systems; technical consulting during seminars

Conferences and Research Visits

Jul 8 – 12, 2024

Conference Presenter

AMERICAN CONTROL CONFERENCE (ACC) 2024, Toronto, Canada

Presenting the paper “Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings” as first author

Jul 1 – 3, 2024

Conference Presenter

8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) 2024, Boulder, CO (USA)

Presenting the paper “Data-Driven Abstractions Via Binary-Tree Gaussian Processes for Formal Verification” as first author

Dec 13 – 15, 2023

Conference Presenter

62st IEEE Conference on decision and control (CDC) 2023, Singapore

Presenting the paper “Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems” as first author

May 31 – Jun 2, 2023

Visiting Researcher

University of Colorado Boulder, Department of Aerospace Engineering Sciences, Boulder, CO (USA)

Visiting the ARIA systems group

May 31 – Jun 2, 2023

Conference Presenter​

American Control CONFERENCE (ACC) 2023, San Diego, CA (USA)

Presenting the paper “Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction” by Birgit van Huijgevoort et al.

Aug-Sep, 2022

Visiting Researcher

Eindhoven University of Technology, Control Systems group of Electrical Engineering, Eindhoven, (NL)

Visiting: Dr Sofie Haesaert, Birgit van Huijgevoort

Dec 6-9, 2022

Conference Presenter​

61ST IEEE CONFERENCE ON DECISION AND CONTROL (CDC) 2022, CANCÚN (MX)

Presenting the paper “Correct-by-Design Control of Parametric Stochastic Systems” as first author

communication matters

Language Skills

German

Native Speaker

English

C1/C2

Norwegian

Beginner

Latin

Adv. Latin Proficiency Cert.

trying to speak to a machine in a dozen languages

IT-Skills

MATLAB
Python
C++
DS Solidworks
Adobe Illustrator
Arduino
Raspberry Pi
Julia
C#
Android App Development