Hongseok Yang (Preferred)
Hongseok Yang
Korea Advanced Institute of Science and Technology
- Joined September 2017
Names
Emails
****@gmail.com (Confirmed)
, ****@kaist.ac.kr (Confirmed)
Personal Links
Education & Career History
Full Professor
Korea Advanced Institute of Science and Technology (kaist.ac.kr)
2017 – Present
Visiting Research Fellow
Institute for Basic Science (ibs.re.kr)
2022 – 2023
Full Professor
University of Oxford (ox.ac.uk)
2014 – 2017
Associate Professor
University of Oxford (ox.ac.uk)
2011 – 2014
Assistant Professor
Queen Mary University London (qmul.ac.uk)
2006 – 2011
Advisors, Relations & Conflicts
Coworker
Kee Eung Kim
2017 – Present
PhD Advisor
Uday Reddy
1996 – 2001
Expertise
neural tangent kernel, infinite-width neural network, SATNet
2020 – Present
probabilistic programming, probabilistic inference, stochastic variational inference
2014 – Present
programming languages, program analysis, program verification, program semantics, logic
1996 – Present
concurrency, distributed system
2008 – 2016