김도형의 홈 페이지

김도형(金度亨)은 서울대학교 공과대학 컴퓨터공학과에서 학사 과정을 마치고(1985년 2월, 공학사) 한국과학기술원(KAIST) 전산학과에서 석사 과정(1987년 2월, 공학석사)과 박사 과정(1992년 2월, 공학박사)을 마쳤다. 박사 과정의 지도 교수는 최광무 박사이고 소속된 연구실은 프로그래밍언어 연구실이었다. 1992년 3월부터 8월까지 한국과학기술원 부설 정보전자연구소에서 연수연구원으로 근무한 뒤, 1992년 9월부터 성신여자대학교 컴퓨터정보학부/컴퓨터학과에서 근무(현재 교수)하고 있다. 그리고 1997년 2월부터 1년간 한국과학재단의 지원으로 미국 스토니 브룩 소재 뉴욕주립대학교(State University of New York at Stony Brook) 컴퓨터과학과에서 객원교수로 있었다. 학과에서 주로 강의하는 과목은 학부에서는 프로그래밍 언어론과 컴파일러 구성 및 계산 이론, 대학원에서는 프로그래밍 언어 의미론 등이다. 연구 분야는 프로그래밍 언어 설계, 컴파일러 구성, 논리 프로그래밍 등이며 특히 논리 프로그램의 병렬 수행에 관심이 깊다. 그 밖에 자료의 암호화 및 암호 해석에도 흥미를 가지고 있다.

기타 정보

귀하는 2004년 6월 29일 이후 번째 방문객이십니다.

이 홈 페이지는 1996년 6월에 처음 만들어진 뒤 1998년 4월에 큰 수정을 하였고, 2000년 5월에 마지막으로 수정되었습니다.