Minh Pham
CS + Math @ UMN: Distributed Systems · ML Systems · Platform Engineering
I build distributed systems, data platforms, ML infrastructure, and low-level software, with an emphasis on reliability, observability, security, and reproducibility.
Summer 2026: DevSecOps Engineering Intern at VietinBank, plus independent work in event-driven systems, data lakehouses, and Linux kernel internals.
EducationCS + Math @ UMN
Summer 2026DevSecOps Intern, VietinBank
PriorFPT Software Intern
FocusSystems · Data · ML · Linux
Current Work
Systems where correctness depends on ownership, persistence, retries, and recovery—not only the successful path.
Distributed CIForgeCI
A durable control plane, immutable source transport, and fenced remote execution across runner and GitHub failures.
ConsensusQuorumKV
Raft persistence, ReadIndex, deduplicated client requests, snapshots, membership changes, and real-process failure tests.
Backend CorrectnessCommerceCore
Inventory contention, ambiguous payment results, transactional outbox delivery, and reconciliation across a gRPC boundary.
Database ReliabilityPgSentry
PostgreSQL failover, DCS partitions, acknowledgement durability, WAL archiving, and point-in-time recovery.
Featured projects
A distributed CI engine built from scratch in Go, centered on coordinating remote work without letting stale runners corrupt durable state.
- Fenced job leases reject stale source, artifact, log, and completion operations
- Immutable source revisions, content-addressed storage, restart recovery, and durable GitHub Check delivery
A distributed key-value store with Raft implemented from scratch, including the persistence and client semantics needed beyond leader election.
- Quorum-confirmed ReadIndex reads and replicated request identity for retry deduplication
- PreVote, snapshots, joint consensus, leadership transfer, and crash tests using real processes
A Spring backend for studying checkout correctness when inventory is contended, messages are redelivered, and a remote payment result is ambiguous.
- Conditional inventory updates, idempotent checkout, and a transactional outbox
- UNKNOWN payment state and lookup-based reconciliation across a real gRPC provider boundary
View all projects →
Skills by area
Languages
PythonGoJavaCSQL
Backend / Distributed
FastAPIKafkaRedisPostgreSQL
Platform / Infra
DockerKubernetesTerraformJenkins
Security / Observability
VaultIstioTrivyGrafana
Data / ML
PyTorchIcebergdbtAirflow
Systems
LinuxQEMUGDBKernel modules
About
I'm a Computer Science and Mathematics student at the University of Minnesota, Twin Cities, building distributed systems, data platforms, ML infrastructure, and low-level software.
I care about what happens after code ships: reliability, testing, security, observability, and reproducibility. My interests span backend engineering, distributed systems, platform engineering, DevSecOps, data engineering, ML systems, and Linux.
Direction
- Ship systems that hold up under failure, not just under a demo
- Go deeper on distributed systems, data platforms, and ML infrastructure
- Keep building in public: real repos, real trade-offs, real bugs
Technical writing
Notes from building systems, debugging infrastructure, running experiments, and learning how software behaves beyond the happy path.
View all posts →