Hongseok Yang

Pronouns:

Korea Advanced Institute of Science and Technology

  • Joined September 2017

Names

Hongseok Yang (Preferred)

Emails

****@gmail.com (Confirmed)
,
****@kaist.ac.kr (Confirmed)

Education & Career History

Full Professor
Korea Advanced Institute of Science and Technology (kaist.ac.kr)
2017Present
 
Visiting Research Fellow
Institute for Basic Science (ibs.re.kr)
20222023
 
Full Professor
University of Oxford (ox.ac.uk)
20142017
 
Associate Professor
University of Oxford (ox.ac.uk)
20112014
 
Assistant Professor
Queen Mary University London (qmul.ac.uk)
20062011
 

Advisors, Relations & Conflicts

Coworker
Kee Eung Kim
2017Present
 
Coworker
2016Present
 
Coworker
2016Present
 
Coworker
2013Present
 
Coworker
2013Present
 
Coworker
2013Present
 
PhD Advisor
Uday Reddy
19962001
 

Expertise

neural tangent kernel, infinite-width neural network, SATNet
2020Present
 
probabilistic programming, probabilistic inference, stochastic variational inference
2014Present
 
programming languages, program analysis, program verification, program semantics, logic
1996Present
 
concurrency, distributed system
20082016