HJhoo

M.S. Student

Software Foundation Lab.
Room 554-1, Building 301
School of Computer Science and Engineering
Seoul National University
1 Gwanak-ro, Gwanak-gu, Seoul 151-744, Korea

Email: hoyoung.jhoo (at) sf.snu.ac.kr

Research Interests

  • Type System / Formal Logic
  • (Functional) Programming Languages
  • Machine Learning Applictaions
  • Software Verification

Publications

Education

  • Mar. 2020 – Current, M.S. student, Computer Science and Engineering, Seoul National University (advisor: Chung-Kil Hur)
  • Mar. 2013 – Feb. 2020, B.S., Computer Science and Engineering, cum laude, Seoul National University
  • Mar. 2010 – Feb. 2013, Seoul Science High School

Experience

  • Apr. 2019 – Sep. 2019, Software Intern, Furiosa AI
  • Sep. 2016 – Sep. 2018, Airman, Mobile & Web developer, Information System Management Wing, ROK Air Force
  • Sep. 2015 – Aug. 2016, Client Programmer & Game System Designer, LoadComplete