Machine Learning & Simulation Software Engineer
I am a motivated, curious, and ambitious engineer who loves to understand the world and make it better day-by-day.
Rust, C++, Python, Or any equivalent
Machine Learning, Computer Vision, Simulation
PPL(A), French, Skiing
Currently, I am working as a Software Engineer at Daedalean AI.
We are building a certifiable Machine Learning based detection system for pilots.
I studied Robotics - Master Degree at ETHZ (Swiss Federal Institute of Technology Zurich) and Aerospace Engineering - Bachelor Degree at SNU (Seoul National University).
I am passionate about architecting software systems with computational efficiency. My approach emphasizes clean abstractions, optimized algorithms, and maintainable codebases that scale gracefully while remaining accessible to users.
Research & Development of dynamic object detection pipeline with multiple stereo cameras and real-time updates on navigation based on the surrounding objects.
gRPC based rendering system to make Simulation Engine parameters available through API for airborne scenes.
Sub-project of DARPA challenge. Autonomous MAV navigation with object function of discovering the unknown map.
AR-based android mobile game development. Players search through the space with an objective of finding treasures that are rendered on the screen in Augmented Reality.
Optimal trajectory computation with a goal of bouncing a ball with a quadrotor.
Using CFD (Computational Fluid Dynamics), search the stability and optimal design for the cone, body and fins for a rocket. Then, we hand-made the designed body and finished the successful launch for a scientific rocket launch competition in South Korea.
Deep dives into systems programming, machine learning architectures, and the tools I use day-to-day.
Why large PRs kill code review, and how I built a multi-platform tool to manage stacked PRs from a single branch.
Read postProducer-consumer patterns, fan-out parallelism, and ordered output streaming with tokio channels.
Read postOwnership, borrowing, lifetimes, and trait-based polymorphism explained with C++ and Python comparisons.
Read postWhen a spawned consumer dies, you get "channel closed" — not the real error. A utility and macro to fix that.
Read postProject structure, error handling patterns, testing strategies, and deployment for real-world Rust applications.