서울대학교
X-Corps 경진대회
일시 : 2017년 12월 8일(금) | 장소 : 서울대학교 글로벌공학교육센터 5층
자세한 사항은 공지사항 게시판에서 확인해주시기 바랍니다.
닫기
이광근 교수와 관련된 세부정보입니다.
이광근 사진

이광근

소속 컴퓨터공학부 지위 교수
전화번호 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)
공과대학소개
교육과정
대학생활
IT 서비스 및 공간예약
온라인 강의
소통광장
알림광장