SFlab

Undergraduate Intern


Software Foundations Laboratory
Department of Computer Science and Engineering
Seoul National University

Email: seongwon.bang (at) sf.snu.ac.kr
Address: Room 312-2, Building 302, 1 Gwanak-ro, Gwanak-gu, Seoul, Korea

Education


  • Mar. 2015 - Current, B.S., Computer Science, Seoul National University

Research Interest


  • LLVM / MLIR
  • Compiler Validation
  • Formal semantic of C programs

Experience


  • Working as a Software Engineer conducting military service, Viva Republica (Toss), 2018 ~ 2021

Recognition


  • 8th place in ACM International Collegiate Programming Contest (ICPC) Daejeon Regional, 2016
  • Gold Medal in Korea Olympiad in Informatics (KOI), 2013