Matt Bovel
PHD Student at EPFL
Lausanne, Vaud, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolMatt Bovel is a PhD student and seasoned software engineer with 11 years of experience, focused on programming language research and compiler internals. Based at EPFL in Lausanne, he works on refinement types for Scala 3 and has contributed substantive fixes and enhancements to the Scala 3 compiler (Dotty). He previously interned at Oracle Labs where he helped extend GraalVM/WASM support and improved low-level byte-array and memory handling plus test coverage. His background blends strong academic training (EPFL, ETH Zürich) with practical backend systems work and extensive TA experience mentoring students across languages and theory. Notably, he pairs research-grade rigor with production-oriented contributions to high-profile open-source projects, demonstrating an ability to move between formal methods and pragmatic engineering.
11 years of coding experience
Gymnasiale Matura, Gymnasiale Matura at Gymnase Auguste PiccardMaster's degree, Computer Science, Master's degree, Computer Science at EPFLComputer Science, Computer Science at ETH Zürich
French, English
Stackoverflow
111reputation
332reached
4answers
0questions
Github Skills (18)
graalvm10
java10
scala10
type-system10
javas10
compiler-design10
blazor-webassembly10
webassembly10
code-optimization9
memory-management9
code-generation8
testing8
functional-programming7
aot7
compiler-compiler7
Programming languages (19)
Github contributions (5)
scala/scala3
Sep 2021 - Oct 2022
The Scala 3 compiler, also known as Dotty.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:188 reviews, 48 commits, 185 PRs in 1 year
Contributions summary:Matt primarily contributed to the Scala 3 compiler project by addressing various issues related to the compiler's internal workings. They fixed bugs, enhanced code for better performance, and refactored existing components. The user implemented a number of enhancements and improvements including, supporting return statements in tailrec positions and resolving issues within annotations. This work involved modifying compiler internals.
compilerdottyscalascala3epfl
oracle/graal
Jan 2021 - Feb 2024
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
Role in this project:Backend Developer
Backend DeveloperContributions:3 comments, 1 issue in 3 years 1 month
Contributions summary:Matt's commits primarily involve adding and modifying code related to `ByteArrayAccess` and `ByteArrayWasmMemory` within the GraalVM/Graal repository. These additions suggest the development of features related to byte array manipulation, potentially for optimizing memory access or data representation within the GraalVM ecosystem. They also added WASM related test suites, with some focus on optimizing and cleaning up existing tests, improving the project's test coverage and maintainability.
graalvmjavaaotcompiler
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.