계정: 로그인
AA

(!) English version of this document also exists.

차리서 (2013-12-15)

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

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

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

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

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

  • Raymond Seo Cha (미국 이름)

비학술적 사항

사상 및 성향

개략적 소개 문서인 이 문서에 적합하지 않을 정도로 내용이 길어져서, 별도의 문서에 분리해둘 예정입니다. (미완성)

취미 및 기호

개략적 소개 문서인 이 문서에 적합하지 않을 정도로 내용이 길어져서, 별도의 문서에 분리해둘 예정입니다. (미완성)

약력

  • 1974년 가을 미국 Connecticut 주 Stamford 출생
  • 1977년 한국 입국
  • 1993년 3월 ~ 1995년 2월: 고려대학교 의과대학 의예과 (수료)
  • 1995년 3월 ~ 1998년 8월: 고려대학교 의과대학 의학과 (전과)
  • 1996.03 ~ 1996.08 연합동문합창단 Cantabile 제16회 정기공연 지휘자
  • 1997.09 ~ 2004.04 cantabile.or.kr 도메인 홀더 겸 서버 관리자

  • 2004년 5월 공익근무요원 만기 소집해제 (서울지방병무청 총무과 감사계 근무)
  • 2006년 당시 국적법에 따라, 연한 내 국적 미선택 사유로 한국 국적 자동 상실
  • 2011년 개정 국적법에 따라, 조건 (선천적, 원정출산×, 군필) 만족으로 한국 국적 재취득 및 복수국적 인정

학술 관련 사항

연구 분야

  • 주 전공:
    • 정형기법formal methods (중 특히 정형 검증formal verification (중 특히 정리 증명theorem proving))

    • 직관주의 논리intuitionistic logic

    • 유형론type theory (특히, dependent types)

    • 함수형 계산 모델 (λ-calculus, SKI system 등)
  • 부 전공: 정형기법 전반, 논리 체계 및 증명론 전반, (특히 함수형) 프로그래밍 언어론
  • 기타 관심 분야: subtyping, 추상 대수, 불가산무한의 정형화, 휴리스틱 (증명 택틱, 그래프 탐색)

약력

  • 2001년 2월: 고려대학교 이과대학 컴퓨터학과 졸업 (이학사)
  • 2006년 8월: 고려대학교 대학원 컴퓨터학과 (전산학전공) 석사과정 졸업 (이학석사)
  • 2018년 2월: 고려대학교 대학원 컴퓨터·전파통신공학과 (컴퓨터학전공) 박사과정 졸업 (공학박사)
  • 2018년 6월 ~ 현재: 건국대학교 유비쿼터스정보기술연구원 박사후연구원
  • 2018년 7월 ~ 현재: 건국대학교 공과대학 소프트웨어학과 시간강사 (비전임교원)

연락처

  • 전자우편:
    • 개인용 전자우편 주소 (개인용)

    • 학술용 전자우편 주소 (전 학술용)

    • 업무용 전자우편 주소 (현 업무용, 현 학술용)

  • PGP 공개 키