이광근

교수

연락처 정보

교수실: 
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.