Sign In

Hongseok Yang

Professor, School of Computing, KAIST, South Korea

Hongseok Yang is a prominent computer scientist currently serving as a full professor at the School of Computing at the Korea Advanced Institute of Science and Technology (KAIST), South Korea. His research primarily focuses on the intersection of programming languages (PL) and machine learning (ML), particularly in areas such as probabilistic programming and probabilistic inference. He has developed algorithms that integrate logic-based programming techniques with data-driven machine learning methods.12

Education and Career Path

  • Ph.D.: Received from Illinois State University in 2001.
  • Postdoctoral Research: Conducted at KAIST and Seoul National University for five years.
  • Academic Positions:
    • Assistant Professor at Queen Mary University of London (2006–2011).
    • Associate Professor (2011–2014) and later Full Professor (2014–2017) at the University of Oxford.
    • Joined KAIST as a full professor in 2017.345

Research Interests

Yang's research encompasses a variety of topics, including:

  • Theoretical foundations of probabilistic programming.
  • Formalization of concurrent and distributed systems.
  • Connections between programming languages and continuous mathematics.24

Achievements

He has received several accolades for his contributions to the field, including:

  • Best Paper Awards at conferences such as CONCUR 2012 and PLDI 2014.
  • Co-recipient of the CAV Award in 2016 for advancements in separation logic.45

Community Engagement

Yang is actively involved in mentoring graduate students and collaborating with peers in the programming languages community. His work not only advances theoretical understanding but also addresses practical challenges in software development and analysis.13

For more detailed information about his work and contributions, you can refer to his LinkedIn profile or his personal website.

Highlights

Oct 9 · en.namu.wiki
Yang Hong-seok (scientist) - NamuWiki

Related Questions

What are some of the key projects Hongseok Yang has worked on at KAIST?
How does Hongseok Yang integrate machine learning into his research on programming languages?
What inspired Hongseok Yang to transition from computational geometry to programming languages?
Can you explain the concept of probabilistic programming in simple terms?
How has Hongseok Yang's work on separation logic influenced his current research?
Hongseok Yang
Hongseok Yang, photo 1
Hongseok Yang, photo 2
Add to my network

Location

London, England, United Kingdom