Senior software engineer at Red Hat. I work on Linux, virtualization, and x86 architecture.
Most of my projects live on GitLab.
KVMDemo: Minimal Linux hypervisor built on KVM. Boots Linux kernels, Multiboot kernels, and raw disk images with a deliberately minimal set of emulated devices.
x86rme: x86 instruction decoder and real mode emulator. Decodes and single-steps 16 bit x86 code, loads MZ executables.
exlutum: Self hosting compiler bootstrapped from a minimal binary seed. Explores the "Trusting Trust" problem from the ground up.
bofs: Block-level copy-on-write overlay via FUSE. ~200 lines of C, fully auditable, modified blocks stored as individual files.
relax: Command wrapper that tolerates intermittent failures. Only reports an error after two or more consecutive failures. Built for cron jobs.
gplanarity: GTK3 port of gPlanarity, a planar graph untangling puzzle. Used as upstream by the Debian gplanarity package.