Steven Varoumas
Senior Software Engineer (Compiler Lab) at Huawei
Cambridge, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolSteven Varoumas is a Senior Software Engineer and compiler specialist with 11 years of experience, blending a PhD-backed research background with practical engineering in MLIR-based code generation for optimized BLAS libraries at Huawei's Cambridge Compiler Lab. He has deep expertise in programming languages implementation, static analysis, verified tooling (Coq), and VM development for resource-constrained devices, having built a lightweight OCaml VM and a B-to-OCaml transpiler. Comfortable across research and industry, he has shipped tools for trustworthy refactoring, automatic equivalence checking for OCaml, and synchronous language extensions, and has taught extensively in academic settings. Bilingual in French and English and UK-based, he brings a researcher’s rigor to production compiler work and a track record of turning formal analyses into practical systems. Notably, his career spans both low-level systems on microcontrollers and high-performance linear algebra code generation, bridging constrained embedded platforms and HPC-focused compiler pipelines.
11 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Sorbonne UniversitéBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Université Pierre et Marie Curie (Paris VI)
French, English, Spanish
Github Skills (33)
modular10
llvm10
toolchain10
compiler10
synchronous10
clang10
ocaml9
virtual-machine9
lwt8
dune8
opam7
geometry-library5
geometry4
dotnet4
macos-big-sur3
Programming languages (5)
Github contributions (5)
stevenvar/OCaLustre
Jul 2015 - Nov 2019
OCaml syntax extension for synchronous programming...
Contributions:385 commits, 5 PRs, 376 pushes in 4 years 4 months
lwtocamlduneopamsynchronous
stevenvar/bytecrawler
May 2017 - Jun 2019
Contributions:51 commits, 40 pushes, 2 issues in 2 years 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.