👋 Hi, I'm Erwin Kok
I design and build distributed systems, networking software, developer tooling, and low-level infrastructure with an emphasis on correctness, performance, and long-term maintainability. My interests span distributed systems, peer-to-peer networking, cloud-native infrastructure, compiler implementation, and systems programming.
Most of my professional work has been in proprietary environments. This GitHub profile showcases the projects I build to explore ideas, deepen my understanding of complex systems, and contribute back to the engineering community.
I'm particularly interested in software where understanding why a system behaves the way it does is just as important as making it work.
A Rust implementation of a linearizability checker for verifying concurrent and distributed systems. The project focuses on correctness, efficient state-space exploration, and performance, improving on the performance characteristics of the original Go implementation.
A Kotlin implementation of the libp2p networking stack. Building the library provided an opportunity to explore peer-to-peer networking, protocol design, multiplexing, secure transports, and distributed systems from first principles.
A cryptographic library written for libp2p-kotlin, implementing the primitives (from scratch) required by the protocol stack. The project was an opportunity to better understand modern cryptographic algorithms and their implementation details.
An experimental dataplane and Container Network Interface (CNI) implementation in Rust, exploring eBPF, Linux networking, packet processing, and cloud-native networking.
A compiler for a well-defined subset of C targeting the JVM. The project explores parsing, semantic analysis, intermediate representations, and code generation using Kotlin and ANTLR.
- Distributed systems
- Systems programming (Rust)
- Networking and protocol implementation
- Cloud-native infrastructure and Kubernetes
- eBPF and Linux networking
- Peer-to-peer systems
- Compiler and language implementation
- Correctness and verification
- High-performance backend systems
I'm always interested in discussions about distributed systems, networking, systems programming, and infrastructure engineering.
