My name is Steven Varoumas, I am a PhD graduate 👨🏻🎓 in Computer Science from Sorbonne University in Paris, France.
From a young age, I have been quite fascinated with computers, and I am now fond of functional programming (OCaml 🐫, Haskell, Erlang, ...), and well-versed in object-oriented and imperative programming languages (Java, C/C++, Python ...). I also have high interests and expertise in embedded software programming, compilers implementation, theorem proving and model checking.
My PhD thesis was about microcontrollers/embedded systems programming, for which I was interested in using high-level programming paradigms that would be adapted to the scarce resources of such devices, while providing a more expressive and safer model than traditional C/assembly languages often used to program embedded systems. This work led me to create an implementation of an OCaml virtual machine that was able to run non-trivial programs written in a multiparadigm programming language on various microcontrollers with less than 8 kB or RAM. I also developed a synchronous programming extension to the OCaml language which further improves the safety and expressivity of the concurrent aspects of an embedded system. During my PhD thesis, I also highly enjoyed teaching university students multiple topics of computer science, from compilers to functional programming, concurrency, algorithms, and theorem proving.
The manuscript of my thesis (just in French for now) and a list of my publications and talks are accessible on the research section of this website.
I was born-and-raised in a small town in a small town in eastern France 🇫🇷, and lived in Paris for about 10 years, where I enjoyed the big city life and opportunities to meet with great scientists during my PhD. I then moved to the UK 🇬🇧 where I first worked in 2019-2020 as a Research Associate in the School of Computing of the University of Kent (Canterbury, England) 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.
My (more or less up to date) CV is accessible here.