- 공과대학
경진대회 및 공모전 - * 제 12회 창의적 종합설계 경진대회 개최 및 참가신청 안내
* 제 9회 공과대학 UCC 공모전 개최 및 참가안내
자세한 사항은 공지사항 게시판과 소통광장>공모전 광장 페이지에서 확인하실 수 있습니다.
 이광근 |
소속 | 컴퓨터공학부 | 지위 | 교수 |
|---|---|---|---|---|
| 전화번호 | 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
- 2016 Research Scientist, Facebook
- 방문교수 Stanford (2017), MIT(2012,2008), CMU(2008), 파리고등사범학교(ENS Paris)(2016, 2002)