About me

I'm current working as a Research Associate at the University of Cambridge, where my research focus is on program verification in the scope of climate science. Prior to that, I did my PhD in the Embedded Systems group at Uppsala University. My research interests include programming languages, program verification, and embedded (real-time) systems design. Particular topics I'm interested in include programming language design, domain-specific languages, compiler and interpreter implementation, temporal and functional verification, and hardware platforms specifically made for embedded real-time applications.

Education

PhD Computer Science with Specialization in Embedded Systems 2019 - 2025

Uppsala University, Uppsala, Sweden

MSc Space Technology with Specialization in Spacecraft Design 2017 - 2019

Luleå University of Technology, Kiruna, Sweden

Thesis: Porting Zephyr RTOS to the LEON/GRLIB SoC SPARC v8 architecture [link] [pdf]

BSc Engineering Physics 2012 - 2017

Vienna University of Technology, Vienna, Austria

Thesis: Extending the Software Environment of the qBounce Platform [pdf]

Teaching

  • 1DT106 - Programming Embedded Systems, main lecturer & course responsible (2021-2024) [slides]
  • 1DT108 - Programming Embedded Systems Project, main lecturer & course responsible (2021-2024)
  • 1DT063 & 1DT004 - Real Time Systems, TA (2020)
  • 1DT096 - Operating Systems and Process-Oriented Programming, TA (2020)

  • D0001R - Microcomputer engineering with space applications, TA (2017)
  • R7018R - Spacecraft on board datahandling, TA (2017)

Publications

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
DOI Preprint Artifact

Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi

International Conference on Coordination Models and Languages (COORDINATION) 2025

Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM
DOI Preprint Artifact Code

Nikolaus Huber, Naomi Spargo, Nicolas Osborne, Samuel Hym, Jan Midtgaard

International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2025
Lecture Notes in Computer Science, vol. 15698, pp. 3-22, © Springer-Verlag 2025

ETAPS Distinguished Paper & ETAPS 2025 Best Tool Paper Award

Timing is all you need
DOI Preprint

Susanne Graf, Bengt Jonsson, Behnam Khodabandeloo, Chengzi Huang, Nikolaus Huber, Philipp Rümmer, Wang Yi

Hinchey, M., Steffen, B. (eds) The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
Lecture Notes in Computer Science, vol. 15240, pp. 259-279, © Springer-Verlag 2024

An Encoding of Interaction Nets in OCaml
DOI PDF Artifact

Nikolaus Huber, Wang Yi

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models (GCM 2023 and 2024)
Electronic Proceedings in Theoretical Computer Science, vol. 417, pp. 1-16, 2025