공과대학
경진대회 및 공모전
* 제 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)
공과대학소개
교육과정
대학생활
예약신청 및 IT 서비스
온라인 강의
소통광장
알림광장