Ph.D. student, Department of Computer Science and Engineering

Address
Department of Computer Science and Engineering
Seoul National University
1 Gwanak-ro, Gwanak-gu, Seoul 08826, Republic of Korea

Email: minki.cho#sf:snu:ac:kr (where # is @ and : is .)

Research Interests


  • Software Verification
  • Relaxed Memory Concurrency
  • Type Theory

Publications


Education


  • Sep. 2017 - Current, Ph.D. Student, Computer Science and Engineering, Seoul National University
  • Mar. 2014 - Feb. 2017, B.S. Computer Science and Engineering, B.S. Philosophy of Mathematics and Logics, (double major) Seoul National University
  • Mar. 2011 - Feb. 2014, Seoul Science High School

Awards


  • Gold medal in University Students Contest of Mathematics (대한수학회 대학생 수학경시대회), Korean Mathematical Society. 2014

Teaching


  • TA, Computational Civilization, 2020 Spring (Prof. Kwangkeun Yi)
  • TA, Programming Languages, 2019 Fall (Prof. Kwangkeun Yi)
  • TA, Principles and Practices of Software Development, 2019 Spring / 2018 Spring (Prof. Chung-Kil Hur)
  • TA, Principles of Programming, 2018 Fall (Prof. Chung-Kil Hur)