Distributed Systems & AI Infrastructure Engineer
I build correctness-first distributed systemsâfrom storage engines and consensus protocols to AI orchestration platforms.
My work focuses on one question:
How can distributed systems remain correct under crashes, retries, network delays, and adversarial failures?
- VeriProtocol â Scheduler-aware framework for consensus experimentation and protocol evaluation.
- VeriStore â Crash-consistent storage engine with WAL, recovery, snapshots, and replication.
- VeriFlow â Kubernetes-native AI workload orchestrator with GPU-aware scheduling.
- LLM Serving Cache â Cache control plane for efficient LLM inference.
- SmartSearch â Fault-tolerant semantic ingestion and retrieval platform.
- AgentFlow â Workflow engine for reliable task execution and recovery.
Contributor to:
- TiKV (Rust)
- etcd/raft
- Temporal
- Kubernetes SIG
- Distributed Systems
- Consensus Protocols
- Storage Systems
- AI Infrastructure
- Reliability Engineering
Languages: Rust, Go, Java, C++, Python
Infrastructure: Kubernetes, Kafka, PostgreSQL, Docker
Distributed Systems: Consensus, WAL, Replication, Scheduling, Recovery
ð Google Scholar: https://scholar.google.com/citations?user=mBIQ1-0AAAAJ&hl=en
ð LinkedIn: https://www.linkedin.com/in/nasitsony


