Doctoral Researcher in Computer Science
Based in the united kingdom
69
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
- ACC Student Travel Award 2024, AACC, IEEE, ASME, SIAM, NSF
- CDC Student Travel Award 2023, IEEE CSS & CDC
- Top 3: CSS TC Outstanding Student Paper Prize 2023, IEEE CSS
- PhD Studentship 2022, Newcastle University School of Computing
- e-fellows Scholarship 2021-2024, e-fellows.net
- Erasmus+ European Scholarship 2020, DAAD
- Deutschlandstipendium Scholarship 2016, Studienfonds OWL
- Deutschlandstipendium Scholarship 2015, Studienfonds OWL
- High School Graduation Award in Chemistry 2015, GDCh
- High School Graduation Award in Physics 2015, DPG
Selected Publications
- Schön, van Huijgevoort, Haesaert, Soudjani (2024): Bayesian formal synthesis of unknown systems via robust simulation relations. IEEE Transactions on Automatic Control.
- Van Huijgevoort, Schön, Soudjani, Haesaert (2023): SySCoRe: Synthesis via stochastic coupling relations. In Proceedings of the 26th ACM international conference on hybrid systems: Computation and control (HSCC).
What i'm currently working on
Current Projects
Newcastle University, Newcastle Upon Tyne, UK
Being able to generate scalable abstractions of (uncertain) stochastic systems efficiently is pivotal to satisfy the soaring need for safe and trustworthy embodied AI. To this end, we employ data-driven structures that exploit fundamental principles of efficient computation. By establishing mathematical results that quantify the error in the produced abstraction, we are able to produce scalable formal models that are amenable to model checking.
Bridging the Sim-to-Real Gap
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
2024-today
02/2023 – today
Supervisor
Max Planck Institute for Software Systems, Kaiserslautern (GER)
Conducting job interviews and supervising students assisting on papers
02/2023 – 11/2023
Venture Scientist
European Innovation Council (EIC), EU
Business Accelerator: EIC Pioneer Programme for innovative researchers
2022-2024
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.
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.
02/2023 – 11/2023
Venture Scientist
Conception X, London (UK)
Deeptech entrepreneurship; Member of Cohort 6.
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
English
Norwegian
Latin
Volunteering
When I’m thinking about what is adding the most value to my life, it’s the friends and family I’m blessed with – spending time with different people, having fun and writing memories.
