기하 객체들 간의 가시성 결정 및 가시능력 기반의 경로계획 알
고리즘에 관한 연구, 고성능 병렬 컴퓨터의 설계 및 개발에 관
한 연구, 미지의 지형을 탐색하는 온라인 알고리즘과 동적 계산
의 특성을 고려한 연구

1980~ KAIST 전산학과 교수
1985~1986 IBM T.J. Watson 연구소 Visiting Scientist
1997~1998 한국정보과학회 회장
1991~2002 Theoretical Computer Science 편집 위원
1998 ISAAC Program Committee Co-Chair
2002~ Int. J. of Foundations of Computer Science 편
집 위원
2000~ ACM ICPC Asia 지역 예선 director
2000~2003 International Scientific Committee member, IOI
2002 The 14th IOI, Korea, 2002. Scientific
Committee Chair
2003~2004 KAIST 공학장

1989 한국정보과학회 학술상
2003 홍조근정훈장