Ruslan Bukin
Senior Research Software Engineer at Capabilities Limited
Cambridge, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolRuslan Bukin is a Senior Research Software Engineer with 13 years of systems and OS development experience, based at the University of Cambridge Computer Laboratory and working across industry projects. He is a leading port maintainer and architect for FreeBSD on novel platforms—having driven the RISC-V port since 2015 and added hypervisor, SGX, SMMUv3, Mali Panfrost and Morello board support. He builds low-level, memory-safe system software (RTOS, kernel drivers, DRM, Wayland components) and has pushed CHERI/CHERI-Purecap integration into trusted firmware and UEFI efforts. A pragmatic founder and early cloud platform builder, he combines production deployment experience (thousands of FreeBSD servers) with research-grade experimentation in hardware trace frameworks and capability-safe designs. Notably, he authored the mdepx RTOS and continues to operate at the intersection of hardware enablement and secure-system software.
14 years of coding experience
9 years of employment as a software developer
Bachelor of Science - BS, Mathematics. Computer Science, Bachelor of Science - BS, Mathematics. Computer Science at Peoples' Friendship University of Russia
Github Skills (79)
simulator10
lte10
gps10
arm10
embedded10
bare-metal10
unix10
qemu10
history10
cortex-m10
smp10
4g10
risc-v10
microcontroller10
x8610
Programming languages (8)
Github contributions (5)
mdepx/md009
Mar 2020 - Oct 2020
Contributions:99 commits, 77 pushes, 1 branch in 7 months
bukinr/riscv-tools
Aug 2016 - Apr 2024
Contributions:6 pushes, 1 branch in 7 years 9 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.