SHIN Chaehwan

Introduction

I am a master’s student in the Department of Computer Science and Engineering at Seoul National University. I currently work in the Programming Research Laboratory, ROPAS.

Name

• Spellings

  • HANG: 신채환

  • HANI: 申採奐

  • LATN: SHIN Chaehwan

• Pronunciation: [ɕʰin.tɕʰɛ.ɸwɐn]

Research Interest

• Type Theory

• (Abstract) Algebra

Education

• Suji High School (Mar. 2016–Feb. 2019)

• Seoul National University (Mar. 2020–Feb. 2026): BSc in Computer Science and Engineering

• Seoul National University (Mar. 2026–): MSc in Computer Science and Engineering

Experience

• Programming Research Laboratory, ROPAS (Oct. 2025–)

Contact

• chshin@ropas.snu.ac.kr