.dev
researcher / developer / architect of systems
Exploring fault-tolerant architectures for real-time data processing. Building resilient systems that adapt and self-heal across heterogeneous infrastructure. Focused on consensus algorithms and event-driven microservice patterns that scale from edge to cloud.
Investigating automated methods for discovering optimal network topologies. Combining evolutionary strategies with gradient-based optimization to find efficient architectures for resource-constrained deployment scenarios.
Designing domain-specific languages and intermediate representations for heterogeneous compute. Exploring type-theoretic foundations for memory-safe concurrent programming with zero-cost abstractions.
High-performance distributed task orchestration engine with adaptive load balancing
Rust / gRPC / WASMMulti-target DSL compiler with algebraic effect system and linear type inference
OCaml / LLVM / SMTTemporal knowledge graph with causal inference engine and real-time query planning
Go / RocksDB / GraphQLObservability platform with anomaly detection using learned baseline behavior models
Python / ClickHouse / ReactNeural architecture search framework using multi-objective evolutionary optimization
PyTorch / Ray / ONNX“The most interesting problems in computing are those that sit at the boundary between the formally provable and the empirically observable.”
Yongjoon is a systems researcher and software engineer focused on the intersection of programming languages, distributed systems, and machine learning infrastructure. With a background spanning compiler design and large-scale data processing, the work centers on building tools that make complex systems more understandable, reliable, and efficient.
Currently exploring the design space of domain-specific languages for heterogeneous compute environments, and investigating how formal verification techniques can be made practical for everyday distributed systems development.
Building systems that think,
in languages that prove.