Hongseok Yang
Professor at KAIST
Daejeon, South Korea
Summary
👤
Senior🎓
Top SchoolHongseok Yang is a professor of computer science at KAIST specializing in research at the intersection of programming languages and machine learning, with a long-standing focus on probabilistic programming and general probabilistic inference. He blends theoretical depth with practical systems work, developing program-analysis algorithms that marry logic-based PL techniques with data-driven ML methods. Having held faculty positions at Oxford and earlier fellowships in the UK and Korea, he combines international academic leadership with a track record of translating formal insights into tools and algorithms. His career reflects a steady throughline from PhD work at UIUC to postdoctoral and professorial roles, highlighting both rigorous foundations and an appetite for cross-disciplinary innovation. An understated strength is his sustained commitment to bridging formal methods and empirical ML—a perspective that yields both principled models and pragmatic implementations.
9 years of coding experience
11 years of employment as a software developer
University of Illinois Urbana-ChampaignBA, Computer Science, BA, Computer Science at Korea Advanced Institute of Science and Technology
Stackoverflow
21reputation
106reached
0answers
1question
Github Skills (16)
bayesian8
density-estimation7
clojure6
probabilistic-programming6
python6
probabilistic6
bayesian-inference6
probabilistic-models5
variational-inference5
probabilistic-graphical-models5
deep-learning5
machine-learning5
pytorch5
graphical-models1
inference1
Programming languages (3)
Github contributions (5)
hongseok-yang/graduatePL20
Aug 2020 - Feb 2021
Contributions:98 commits, 94 pushes, 1 branch in 5 months
hongseok-yang/probprog19
Feb 2019 - Aug 2019
Contributions:76 commits, 2 PRs, 72 pushes in 5 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.