Sign In
Get Clay Free →

Suggestions

    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
    Get intro to Hongseok
    Add to my network

    Location

    London, England, United Kingdom