이광근
교수 (학부장)
연락처 정보
교수실:
302동 428호
전화:
(02) 880-1857
팩스:
(02) 882-7234
이메일:
kwang [at] ropas [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: 센터장, 소프트웨어무결점 연구센터 (교과부/한국연구재단 선도연구센터)
■ 1998 – 2003: 단장, 프로그램분석시스템 연구단 (과기부/과학재단 창의연구단)
■ 1995 – 2003: 조교수/부교수, KAIST 전산학과
■ 1993 – 1995: 정규연구원, SW Principles Research Dept, Bell Labs.
■ 2016: Research Scientist, Facebook
■ 방문교수, Stanford (2017), MIT(2012,2008), CMU(2008), 파리고등사범학교(ENS Paris)(2016, 2002)
■ 1998 – 2003: 단장, 프로그램분석시스템 연구단 (과기부/과학재단 창의연구단)
■ 1995 – 2003: 조교수/부교수, KAIST 전산학과
■ 1993 – 1995: 정규연구원, SW Principles Research Dept, Bell Labs.
■ 2016: Research Scientist, Facebook
■ 방문교수, Stanford (2017), MIT(2012,2008), CMU(2008), 파리고등사범학교(ENS Paris)(2016, 2002)