Vasily Sartakov
System Software Architect at Huawei
Cambridge, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolVasily Sartakov is a System Software Architect with 14+ years bridging academia and industry in systems research, trusted computing, and experimental OS architectures. He has led influential projects on CHERI capability-based isolation, SGX enclave abstractions, and NV-RAM persistence—work that produced papers in OSDI, ASPLOS and VEE and shaped cloud confidential computing stacks. As an R&D lead and former CEO of a systems lab, he combines hands-on prototyping (microkernels, hypervisors, library OSes) with technology transfer and project leadership. Based in Cambridge, he focuses on hardware-aided security and persistent systems, uniquely blending low-level kernel work, virtualization, and secure enclave communication frameworks. His track record includes both high-impact publications and deployed prototypes that demonstrate practical paths from research ideas to usable system architectures.
14 years of coding experience
17 years of employment as a software developer
Master's degree Management, Master's degree Management at Higher School of EconomicsDoktoringenieurs (Dr. Ing) Computer Science, Doktoringenieurs (Dr. Ing) Computer Science at Technische Universität BraunschweigEngineer's degree Cybernetics, Engineer's degree Cybernetics at National Research Nuclear University MEPhI (Moscow Engineering Physics Institute)
English, German, Russian
Github Skills (23)
intel10
intel-sgx10
paper10
sgx9
unikernel8
operating-system8
application8
kernel8
security8
qemu8
virtualization7
osdev7
cloud-native6
linux6
color-management5
Programming languages (5)
Github contributions (5)
lsds/intravisor
Feb 2022 - Apr 2022
Contributions:8 commits, 21 pushes, 5 branches in 2 months
lsds/CubicleOS
Feb 2021 - Jul 2021
Compartmentalised monolithic library OS
Contributions:3 commits, 7 pushes, 1 branch in 5 months
kerneloperating-systemmonolithiclinux
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.