I’m Steven Varoumas, and I hold a PhD in Computer Science from Sorbonne University in Paris 🇫🇷.

My research focused on bringing high-level languages to microcontrollers and embedded systems with tight resource constraints. I built a lightweight OCaml virtual machine for small devices and extended the language with synchronous programming features to ensure dependable execution. I also formalised the theory behind it, covering the compilation pipeline, typing rules, and worst-case execution time. The manuscript of my thesis is available here.

I am now a Software Engineer in the Compiler Team at Huawei R&D UK in Cambridge 🇬🇧, where I work with MLIR on advanced compiler transformations for high-performance libraries with applications in AI and machine learning compilers.

My interests include programming languages, compilers, logic, formal proofs, and embedded systems.