Postgraduate Researcher in Computer Science
Based in the united kingdom
16
Citations
3
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
- Student Travel Award 2023, IEEE CSS & CDC
- Top 3: CSS TC Outstanding Student Paper Prize 2023, IEEE CSS
- e-fellows Scholarship 2021-2023, e-fellows.net
- PhD Studentship 2022, Newcastle University School of Computing
- 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 Approach to Temporal Logic Control of Uncertain Systems." Preprint available.
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 Approach to Temporal Logic Control of Uncertain Systems
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/2023
09/2022 – today
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 – today
Venture Scientist
Conception X, London (UK)
Deeptech entrepreneurship; Member of Cohort 6.
10/2022 – today
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
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.
08/2022-09/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.
