Anton Burtsev
Associate Professor
Salt Lake City, Utah, United States
Summary
👤
Senior🎓
Top SchoolAnton Burtsev is an associate professor and systems researcher with 14+ years of experience building reliable, secure, and high-performance operating systems and datacenter software. He focuses on practical deployments of modern safety technologies—leveraging Rust, formal verification, and static analysis—to enable lightweight isolation and backward-compatible hardening of commodity kernels like Linux. His work bridges theory and practice, producing both novel OS designs and high-performance artifacts such as DRAMHiT, a team-built hash table touted for exceptional speed. Trained in applied mathematics and computer science (PhD, University of Utah), he combines rigorous formal methods with cycle-accurate performance engineering to tackle real-world security and scalability challenges. Based in Salt Lake City, he has a track record of moving ideas from research prototypes into solutions compatible with existing systems and drivers.
14 years of coding experience
21 years of employment as a software developer
The University of UtahIgor Sikorsky Kyiv Polytechnic Institute
Github Skills (9)
operating-system10
hypervisor7
gsl7
stl5
linux5
windows5
cpp3
multiboot3
uefi3
Programming languages (6)
Github contributions (5)
mars-research/hello-os
Aug 2019 - Oct 2020
A multiboot OS that prints
Contributions:20 commits, 19 pushes, 3 branches in 1 year 2 months
multiboot
mars-research/xv6-bm
Mar 2018 - Sep 2018
Contributions:124 commits, 85 pushes, 2 branches in 6 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.