[Curriculum Vitae | LinkedIn]

Work Experience

• Assistant Professor - Inha University

  (Sep. 2022 ~ Present)
  Department of Computer Science
  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
  Yale University
  
  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 Science
  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

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) of Graduated Study

  (Jan. 2010 ~ Dec. 2010)
  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 Republic of Korea

• Advanced Open Water Diver

  (Feb. 2004)
  Issued by PADI
  Diver number: 0403U16850,