Hugo Lefeuvre
Postdoctoral Research Fellow at The University of British Columbia
Vancouver, British Columbia, Canada
Summary
🤩
Rockstar🎓
Top SchoolHugo Lefeuvre is a systems and security researcher and postdoctoral fellow at UBC with 11 years of experience building high-assurance kernels and tooling for real-time and cloud-native environments. He led interdisciplinary collaborations and supervised multiple student projects, co-authoring SOSP 2025 papers on the CHERIoT RTOS and related systems work. A longtime free software hacker and retired Debian Developer, he has operational experience triaging CVEs and deploying security updates to 100K+ systems. His open-source contributions include core memory management and build-system improvements to the Unikraft unikernel and work on Microsoft’s Monza confidential computing kernel. Comfortable switching between deep systems research and production-grade engineering, he blends formal academic rigor with hands-on kernel development and build infrastructure improvements. Based in Vancouver, he combines PhD-level research with practical security stewardship that has influenced both academia and deployed Linux ecosystems.
11 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at The University of ManchesterBachelor of Science (B.Sc.), Computer Science, Bachelor of Science (B.Sc.), Computer Science at Karlsruhe Institute of Technology (KIT)
German, French, English, Chinese
Github Skills (9)
c1710
kernel10
memory-management10
build-system10
unikernel10
c1110
operating-system10
performance-monitor9
performance-analysis9
Programming languages (12)
Github contributions (5)
unikraft/unikraft
Jan 2020 - Nov 2021
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:4 reviews, 43 commits, 9 PRs in 1 year 10 months
Contributions summary:Hugo made significant contributions to the Unikraft kernel, focusing on memory management and build system enhancements. They implemented and improved various allocator helpers, including compatibility functions for malloc, calloc, and realloc, alongside refactoring page allocation interfaces. Moreover, they added support for .tar.bz2 archives in the build system. The contributions show a strong focus on core kernel functionality and build process improvements.
kernelposix-compliantvirtualizationmicroserviceposix
project-flexos/asplos22-ae
Nov 2021 - Mar 2022
Contributions:135 commits, 21 pushes, 1 tag in 3 months
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.