Junghun Yoo
Senior Lecturer at Sheffield Hallam University
Sheffield, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolJunghun Yoo is a Senior Lecturer and researcher in distributed systems and blockchain with a decade of industry and academic experience bridging formal verification and practical system design. He brings deep expertise in consensus algorithms, data replication and consistency backed by formal proof and model-checking techniques, paired with hands-on systems programming in C/C++, Erlang, Haskell and mobile/embedded stacks. His career spans R&D roles at Broadcom, Nokia and Espial and transitioned into academia at Sheffield Hallam after advanced studies at Oxford, where he completed an MSc and is pursuing DPhil work in computer science. Known for combining rigorous formal methods with production-facing engineering, he often applies theorem-style thinking to real-world concurrency and replication problems. Based in Sheffield, he blends low-level OS and embedded experience with cutting-edge distributed systems research, making him equally comfortable reading a proof or shipping firmware.
10 years of coding experience
6 years of employment as a software developer
DPhil, Computer Science, DPhil, Computer Science at University of OxfordBSc, Computer Science, BSc, Computer Science at Inha University
Stackoverflow
9reputation
887reached
0answers
4questions
Github Skills (23)
erlang10
elixir10
distributed-systems10
membership10
crdt10
gossip10
tcp10
datatypes9
distributed-computing8
glm6
dplyr6
associations6
forloop6
loops6
r6
Programming languages (2)
Github contributions (5)
junghunyoo/lasp
Feb 2016 - Oct 2021
Contributions:4 pushes, 1 branch in 5 years 8 months
prototypeerlang
nyeinsu4520/AutoDesk
May 2025 - May 2025
Contributions:5 PRs, 5 pushes in 1 day
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.