Jeehoon Kang (강지훈)

haha

Education

Research

Research Interests

  • Relaxed-Memory Concurrency
  • Software (esp. Compiler) Verification
  • Interactive Theorem Proving
  • Program Logic

Publications

Manuscripts

  • Towards Scalable Translation Validation of Static Analyzers.
    Jeehoon Kang, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi.
    In ROSAEC Technical Report ROSAEC-2014-003, November 2014.

Invited Talks

  • iRRAM-Coq: Fearless Verification of Exact Real Arithmetic Programs
    In the 1st Workshop on Real Verification (RV 2017).
    [GitHub]

Teaching

Experience

Awards and Honors

  • Graduate Student Scholarship. Korea Foundation for Advanced Studies. 2015. Mar. – present.
  • Graduate Student Scholarship. Gwanjeong Educational Foundation. 2013. Mar. – 2015. Feb.
  • Republic of Korea Presidential Science Scholarship. Korea Student Aid Foundation. 2007 Mar. – 2013 Feb.
  • Samsung Electronics Scholarship. 2007 Feb. gracefully declined.
  • Samsung Electronics Scholarship. 2006 Jan. – 2007 Feb.
  • 23rd place in ACM International Collegiate Programming Contest (ICPC) World Finals. 2008.
  • Champion in ACM International Collegiate Programming Contest (ICPC) Regional Contest – Seoul. 2007.
  • Gold Medal in International Olympiad in Informatics (IOI). 2005.
  • Bronze Medal in Collegiate Mathematics Olympiad (대한수학회 대학생 수학경시대회), Korean Mathematical Society. 2012.