이광근
교수
연락처 정보
교수실:
302동 428호
전화:
(02) 880-1857
팩스:
(02) 882-7234
이메일:
kwang [at] cse [dot] snu [dot] ac [dot] kr
학력
- University of Illinois at Urbana-Champaign 컴퓨터과학 박사 (1993)
- University of Illinois at Urbana-Champaign 컴퓨터과학 석사 (1990)
- 서울대학교 계산통계학 학사 (1987)
연구 분야
- Static program analysis
- Static analysis for safe softwares
- Programming systems application of static analysis technology
- HOT (higher-order & typed) programming system
경력
- 2008 – 2015: 센터장, 소프트웨어무결점 연구센터 (교과부/한국연구재단 선도연구센터)
- 2012, 2008, 2002: 방문교수, MIT(CSAIL), CMU(CS), ENS Paris(파리고등사범학교, CS)
- 1998 – 2003: 단장, 프로그램분석시스템 연구단 (과기부/과학재단 창의연구단)
- 1995 – 2003: 조교수/부교수, KAIST 전산학과
- 1993 – 1995: 정규연구원, SW Principles Research Dept, Bell Labs.