Dongzin Choi
Senior Embedded Software Engineer at Rockwell Automation
Westlake, Ohio, United States
Summary
👤
Senior🎓
Top SchoolDongzin Choi is a Senior Embedded Software Engineer with 10+ years building low-level, real-time systems and EDSLs in Haskell and C++, currently developing software-backed controllers at Rockwell Automation. He specializes in meta-programming—Template Haskell and C++ template-based parser combinators—to create embedded pattern-matching and lazy-evaluated matrix languages, with multiple open-source projects demonstrating those designs. His background spans Linux and Android daemons, LTE protocol stacks, and embedding scripting engines for real-time event processing, reflecting a strong systems-and-tools orientation rather than front-end work. A former visiting scholar and long-tenured R&D engineer at LG, he combines academic rigor in mathematics with practical optimization experience in CFD and RTOS/kernel tuning. Colleagues can expect a polyglot thinker who prefers expressive languages (Haskell, OCaml, Lisp) and still reaches for pragmatic solutions in Perl, C++11, and embedded platforms.
10 years of coding experience
15 years of employment as a software developer
Bachelor of Science (BS), Mathematics, Bachelor of Science (BS), Mathematics at Korea Advanced Institute of Science and Technology
English, Korean
Stackoverflow
13reputation
188reached
2answers
2questions
Github Skills (30)
keyboard9
usb9
typescript8
firmware8
vscode8
vscode-extension8
microsoft8
electron7
editor7
rp20407
arm7
intervals6
thumb6
avr6
visual-studio6
Programming languages (4)
Github contributions (5)
dzchoi/Inotify-wrapper-for-recursive-directories
Jan 2018 - Feb 2018
Contributions:31 commits, 30 pushes, 1 branch in 23 days
dzchoi/An-embedded-pattern-matching-language-in-Haskell
Jan 2017 - Nov 2017
Contributions:143 pushes, 1 branch in 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.