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 (11)
operating-system10
kernel8
linux7
gsl5
sdk4
cpp3
stl3
multiboot3
hypervisor3
windows2
uefi2
Programming languages (5)
Github contributions (5)
antonburtsev/cs5460
Feb 2017 - Jan 2023
cs143a Principles of Operating Systems class
Contributions:1 review, 572 commits, 9 PRs in 6 years
operating-systemoperatingoperating-systemsprinciples
mars-research/hello-os
Aug 2019 - Oct 2020
A multiboot OS that prints
Contributions:20 commits, 16 pushes, 3 branches in 1 year 2 months
multibootlinux
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.