My name is Steven Varoumas, I am a PhD graduate in Computer Science from Sorbonne University in Paris, France.

During my PhD, I worked on programming microcontrollers and embedded systems, exploring how to adapt high-level languages to hardware with very limited resources.
In particular, I created a lightweight OCaml virtual machine that runs on small microcontrollers and extended the language with synchronous programming features to enable dependable execution on resource-constrained devices.

The manuscript of my thesis (including an English translation) and a list of my publications and talks are accessible on the research section of this website.)

~

I currently live in the UK (since December 2019), where I first worked as a Research Associate in the School of Computing of the University of Kent in Canterbury, on the development of ROTOR, a formally proven refactoring tool for OCaml programs.

I am currently, since January 2021, a Compiler Engineer at Huawei Technologies Research & Development (UK), in Cambridge, where my work focuses on using MLIR to provide advanced compiler transformations, contributing to the development of high-performance libraries.

My (more or less) up to date CV is available here.