Nikolaus Vertovec

Nikolaus Vertovec

Junior Fellow in Artificial Intelligence

Oxford University

Biography

I am a Career Development Fellow in Artificial Intelligence at St Hugh’s College and a member of the Oxford Control & Verification group within the Department of Computer Science, University of Oxford. My work focuses on certified learning, and learning for verification.

I earned my Bachelor’s degree in Electrical Engineering from ETH Zurich in 2019. Following this, I worked at NASA’s Jet Propulsion Laboratory on the Mars 2020 rover mission. In 2024, I completed my DPhil at Oxford’s Department of Engineering Science.

My research interests include physics-informed machine learning, finite-sample learning, certified Learning, and learning for verification. I have applied my research to safety verification of uncertain dynamical systems, including spacecraft trajectory design and airborne wind energy.

Interests
  • Reachability analysis
  • Statistical learning theory
  • Physics-informed neural networks
Education
  • DPhil in Engineering Science, 2024

    Oxford University

  • BSc in Electrical Engineering and Information Technology, 2019

    ETH Zürich (Swiss Federal Institute of Technology)

Experience

 
 
 
 
 
St Hugh's College/Department of Computer Science, University of Oxford
Postdoctoral Researcher
Jan 2024 – Present Oxford, UK
Working on safe AI and assured autonomy
 
 
 
 
 
NASA Jet Propulsion Laboratory
Intern
Oct 2019 – Mar 2020 Pasadena, USA
Worked on the Mars2020 Rover
 
 
 
 
 
Akademische Raumfahrtsinitiative Schweiz (ARIS)
GNC Engineer
Sep 2018 – Jul 2019 Zurich, Switzerland
Designed the Control Systems for a Sounding Rocket
 
 
 
 
 
ETH Zürich
Teaching Assistant
Feb 2019 – Jul 2019 Zurich, Switzerland
Taught Numerical Methods for second-year bachelor students

Recent Publications

Quickly discover relevant content by filtering publications.
(2025). Techno-material entanglements and the social organisation of difference. In Ethnic and Racial Studies, pp. 1–17.

Cite DOI

(2024). Finite sample learning of moving targets .

PDF

(2024). Safety-Aware Hybrid Control of Airborne Wind Energy Systems. In Journal of Guidance, Control, and Dynamics, vol. 47, no. 2, pp. 326–338.

PDF Cite DOI

(2023). State Aggregation for Distributed Value Iteration in Dynamic Programming. In IEEE Control Systems Letters, vol. 7, pp. 2269–2274.

PDF Cite DOI

(2022). Multi-objective low-thrust spacecraft trajectory design using reachability analysis. In European Journal of Control, vol. 69, p. 100758.

PDF Cite DOI

(2022). Verification of safety critical control policies using kernel methods. In 2022 European Control Conference (ECC), London, United Kingdom, pp. 1870-1875.

PDF Cite DOI

(2021). Multi-objective minimum time optimal control for low-thrust trajectory design. In 2021 European Control Conference (ECC), Delft, Netherlands, pp. 1975-1980.

PDF Cite DOI

Contact