Ruslan Bukin

Senior Research Software Engineer at Capabilities Limited

Cambridge, England, United Kingdom
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Ruslan 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.
code13 years of coding experience
job9 years of employment as a software developer
bookBS Mathematics. Computer Science, BS Mathematics. Computer Science at Peoples' Friendship University of Russia
github-logo-circle

Github Skills (103)

simulator10
gcc10
openbsd10
risc10
arm10
unix10
software-design10
architecture10
history10
linux10
bengali10
shell10
netbsd10
philosophy10
src10

Programming languages (8)

C++ShellCMakefileHTMLPerlAssemblyPython

Github contributions (5)

github-logo-circle
bukinr/freebsd

Mar 2015 - Oct 2024

Contributions:168 pushes, 3 branches in 9 years 9 months
srcfreebsd
mdepx/md009

Mar 2020 - Oct 2020

Contributions:99 commits, 77 pushes, 1 branch in 7 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.
Request Free Trial
Ruslan Bukin - Senior Research Software Engineer at Capabilities Limited