Software engineer working on systems and security. I lead a small cross-functional team building a multi-tenant public accounting platform for municipal governments, where correctness, auditability and data protection are legal requirements rather than nice-to-haves.
My own work goes lower in the stack: memory allocators, kernel internals and cryptographic implementations.
- Systems programming — C, C++, Rust, x86-64 assembly
- Memory safety — allocator design, sanitizers, undefined behavior, formal verification
- Operating systems — virtual memory, scheduling, concurrency, kernel internals
- Applied cryptography — constant-time implementation, AEAD constructions, post-quantum primitives
- hyperion — custom memory allocator in C++23: mmap arena, doubly linked free list, O(1) coalescing
- Kernel labs on MIT xv6 — system calls, page tables, traps, copy-on-write fork, user-level threads
- Constant-time cryptographic implementations in Rust, validated against official test vectors
NestJS · Next.js · PostgreSQL · Rust · React Native · Docker · CI/CD
Previously built and shipped a production web platform end to end as the sole engineer: React, Spring Boot on Java 21, PostgreSQL, Heroku.