- 2018학년도 제1학기
교원 후보자 탐색위원회 운영 - *자세한 사항은 '공지사항' 게시판을 이용해주시기 바랍니다.
 이광근 |
소속 | 컴퓨터공학부 | 지위 | 교수 |
|---|---|---|---|---|
| 전화번호 | 880-1857 | |||
| 주전공 | 프로그래밍 언어 시스템 | |||
| 부전공 | 프로그램 분석/프로그래밍 언어 | |||
| 위치 | 302-428 | |||
| 이메일 | kwang@ropas.snu.ac.kr | 홈페이지 | http://ropas.snu.ac.kr/~kwang | |
학력
- 1993, Ph.D. Computer Science, Univ. of Illinois at Urbana-Champaign
- 1987, B.S. Computer Science & Statistics, Seoul National University
주요 연구분야
- static program analysis
- static program verifiation
- programming language systems
- programming systems application of static analysis technology
경력
- 2008-2015 소프트웨어무결점 연구센터(연구재단 선도연구센터 ERC) 센터장
- 1998-2003 프로그램분석시스템 연구단(과기부 창의연구단 CRI) 단장
- 1995-2003 조교수/부교수 KAIST 전산학과
- 1993-1995 Member of Technical Staff, Software Principles Research, Bell Labs, Murray Hill
- 2017 Research Scientist, Facebook
- 방문교수 Stanford (2017), MIT(2012,2008), CMU(2008), 파리고등사범학교(ENS Paris)(2017, 2002)