Hi, I'm Nasit Sony 👋

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?

Featured Projects

• 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.

Open Source

Contributor to:

• TiKV (Rust)
• etcd/raft
• Temporal
• Kubernetes SIG

Research Interests

• Distributed Systems
• Consensus Protocols
• Storage Systems
• AI Infrastructure
• Reliability Engineering

Tech Stack

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