Monograph / Personal Ledger

Systems & Logic.

Abstract: Computer science student specializing in high-performance computing, distributed systems, and compiler design.

Research Profile

My work focuses on building from first principles. I prefer robust architectures and formal proofs over vague abstractions. Currently exploring deterministic simulation testing and language tooling for systems work.

Selected Systems

Archive ↗

Lab Notes

All Notes ↗