Sung-hwan Lee
Compiler Engineer at Rebellions Inc
Seoul, South Korea
Summary
👤
Senior🎓
Top SchoolSung-hwan Lee is a compiler engineer based in Seoul with 11 years of experience blending academic research and production compiler development. Currently at Rebellions Inc., he designs and builds compilers, drawing on a PhD from Seoul National University where his research focused on programming languages, concurrency, and software verification. His background includes a postdoctoral stint and deep expertise in formal methods that inform robust, correctness-minded compiler implementations. Sung-hwan is comfortable translating theoretical models into practical toolchains and optimizations that improve runtime behavior and safety. He brings a researcher’s rigor to engineering problems and a track record of tackling concurrency and verification challenges that are often overlooked in everyday compiler work.
11 years of coding experience
Doctor of Philosophy - PhD Computer Science and Engineering, Doctor of Philosophy - PhD Computer Science and Engineering at Seoul National University
Github Skills (15)
semantics9
coq8
continuation8
concurrency8
modular8
clang7
toolchain7
compilation6
llvm6
compiler5
javascript4
react4
python2
computer-vision1
3d-reconstruction1
Programming languages (5)
Github contributions (5)
snu-sf/promising2-coq
Apr 2018 - Mar 2022
The Coq development of Promising 2.0 semantics for relaxed memory concurrency
Contributions:381 commits, 9 pushes, 3 branches in 3 years 11 months
memoryconcurrencyrelaxedsemanticscoq
Sung-HwanLee/Automata
Oct 2016 - Nov 2017
Contributions:2 PRs, 22 pushes, 7 branches in 1 year 1 month
fallautomatamongodbsnu
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.