Postgraduate Researcher in Computer Science

Based in the united kingdom

32

Citations

4

H-Index

What i'm currently working on

Current Projects

Correct-by-Design Synthesis for Networks of Tightly Interconnected Systems

Newcastle University, Newcastle Upon Tyne, UK
Formal control synthesis approaches for compositional systems are commonly limited to systems of systems for which the mutual influence can be bounded. From a practical perspective, we try to eliminate those restrictions, tackling strongly interconnected stochastic systems.

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

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
C#
Android App Development
Julia (currently learning)