Image

Jieung Kim

I am Jieung Kim,
an assistant professor in the Department of Computer Science, College of Computing
at Yonsei University, South Korea.
I am interested in designing secure-guaranteed systems using multiple formal techniques.

Curriculum Vitae Google Scholar DBLP

Work Experience

Assistant Professor - Yonsei University (Sep. 2024 ~ Current)
  • Department of Computer Science
  • College of Computing
  • Yonsei University
    • Assistant Professor - Inha University (Sep. 2022 ~ Aug. 2024)
  • Department of Computer Engineering
  • College of Software and Convergence
  • Inha University
    • Research Engineer (Privacy & Security) - Google (May 2020 ~ Aug. 2022)
  • Model Optimization Team, Core ML, Google (Mar. 2022 ~ Aug. 2022)
  • Cerebra (Personal AI), Google Research, Google (May 2020 ~ Feb. 2022)
    • Postdoctoral Associate - Yale University (Jun. 2019 ~ Apr. 2020)
  • The FLINT Group
  • Department of Computer Science
  • School of Engineering & Applied Science
  • Yale University
    • Research Assistant - KAIST (Sep. 2011 ~ Jun. 2012)
  • PLRG
  • Department of Computer Science
  • Korea Advanced Institute of Science and Technology

    • Education

    Ph.D in Computer Science - Yale University (Sep. 2012 ~ May 2019)
  • Department of Computer Science
  • School of Engineering & Applied Science
  • Advisor: Zhong Shao
  • Thesis: Modular and Compositional Development of Certified Concurrent Software Systems
    • M.S in Computer Science - KAIST (Sep. 2009 ~ Aug. 2011)
  • Department of Computer Science
  • Korea Advanced Institute of Science and Technology
  • Advisor: Sukyoung Ryu
  • Thesis: Proving FFMM Type Safety Using Coq
    • B.S. in Engineering - Sungkyunkwan University (Mar. 2002 ~ Aug. 2009)
  • Department of Computer Engineering
  • School of Information and Communication Engineering

    • Awards

    Robert Willets Carle Scholarship Fund #2 (Jan. 2015)
  • Department of Computer Science
  • School of Engineering & Applied Science
  • Yale University
    • Doctoral Fellowship (Sep. 2012 ~ Jun. 2013)
  • Department of Computer Science
  • School of Engineering & Applied Science
  • Yale University
    • An Outstanding MS Thesis (Feb. 2012)
  • Department of Computer Science
  • Korea Advanced Institute of Science and Technology

    • Professional Services

    PC Member
  • APLAS 2023, APSEC 2023, ANT 2024
    • OC Member
  • PLDI 2025 (Co-local chair)

    • Miscellaneous

    Korean Translation Team (Jan. 2009 ~ Mar. 2009)
  • Rocket IDE
    • Director (Sep. 2014 ~ Aug. 2015)
  • Korean Graduate Student Association at Yale
  • Yale University
    • President (Sep. 2013 ~ Aug. 2014)
  • Korean Graduate Student Association at Yale
  • Yale University
    • Student Representative Member (President) (Jan. 2010 ~ Dec. 2010)
  • Of Graduated Study
  • Department of Computer Science
  • Korea Advanced Institute of Science and Technology
    • Lifeguard (Jun. 2005 ~ Aug. 2008)
  • Issued by American Red Cross
  • Pool lifeguard at Camp Long and Eagle of U.S. Army in
    Advanced Open Water Diver (Feb. 2004)
  • Issued by PADI
  • Diver number: 0403U16850

    • © Jieung Kim. All Rights Reserved. Designed by HTML Codex