Doctoral Researcher in Computer Science
Based in the united kingdom
No connection
Citations
4
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
- Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani (2022): "Correct-by-Design Control of Parametric Stochastic Systems." IEEE 61st Conference on Decision and Control (CDC 2022).
- Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert (2023): "SySCoRe: Synthesis via Stochastic Coupling Relations." Accepted to the 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2023). Preprint available.
- Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani (2023): "Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations." Preprint available.
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
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.
