계정: 로그인
AA

(!) English version of this document also exists.

차리서 (2012)

아래 굵은 문자열들은 모두 저의 두 가지 이름을 나타내는 표기입니다. 자세한 사항은 /이름과 표기법 항목을 참조하셔요:

  • 차리서 (한국 이름의 한글 표기)

  • 車里西 (한국 이름의 한자 표기)

  • CHA Reeseo (한국 이름의 로마자 표기, eastern order)

  • Reeseo Cha (한국 이름의 로마자 표기, western order)

  • Raymond Seo Cha (미국 이름)

비학술적 사항

약력

  • 1974년 가을 미국 Connecticut 주 Stamford 출생
  • 1977년 한국 입국
  • 1996.03 ~ 1996.08 연합동문합창단 Cantabile 제16회 정기공연 지휘자
  • 1997.09 ~ 2004.04 cantabile.or.kr 도메인 홀더 겸 서버 관리자

  • 2004.05 공익근무요원 만기 소집해제 (서울지방병무청 총무과 감사계)

학술 관련 사항

연구 관심 분야

  • 직관주의 논리(Intuitionistic Logic)와 정리 증명(Theorem Proving)
  • Typed λ-calculus와 함수형 프로그래밍
  • Dependent Type과 Subtyping

약력

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

연락처