계정: 로그인
AA

(!) 이 문서는 한국어판도 있습니다.

CHA Reeseo (2012)

All the strings below are various notations of my two names. Please see /Names and Their Notations for details:

  • 차리서 (Korean full name in Hangul)

  • 車里西 (Korean full name in Hanja)

  • CHA Reeseo (Korean full name Romanized, in eastern order)

  • Reeseo Cha (Korean full name Romanized, in western order)

  • Raymond Seo Cha (American full name)

Non-academic Particulars

Bio

  • 1974년 가을 미국 Connecticut 주 출생
  • 1977년 한국 입국
  • 2004년 5월 대한민국 공익근무요원 만기 소집해제 (육군 이병)

Academic Particulars

Research Interests

  • Intuitionistic Logic and Theorem Proving
  • Typed λ-calculus and Functional Programming
  • Dependent Types and Subtyping

Bio

  • 2001년 2월 고려대학교 이과대학 컴퓨터학과 이학사 졸업
  • 2006년 8월 고려대학교 대학원 컴퓨터학과 석사과정 졸업
  • 2008년 3월 고려대학교 대학원 컴퓨터·전파통신공학과 박사과정 입학
  • 2010년 2월 박사과정 수료 (현재 수료연구생으로 재학중)

Contact