교수

• 

  강지훈

  부교수

  교수연구실: E3-1, 4433
  
  3578

  동시성 및 병렬성 프로그래밍, 프로그래밍 언어, 검증

• 

  김은정

  부교수

  교수연구실: 307, E3-5
  
  3513

  Algorithms design, Computational complexity, Structural graph theory

• 

  류석영

  교수

  교수연구실: E3-5, 304
  
  3538

  프로그래밍 언어, 프로그램 분석, 컴파일러

• 

  박종철

  교수

  교수연구실: E3-1, 2406
  
  3541

  자연언어처리, 계산언어학, 바이오인포매틱스

• 

  양홍석

  교수

  교수연구실: E3-1, 3403
  
  3573

  프로그래밍 언어. 기계학습.

• 

  위다레흐트 세버스티언

  조교수

  교수연구실: 306, E3-5
  
  3517

  Graph Theory, Parameterized Complexity

• 

  유신

  교수, 석좌교수(Endowed Chair Professor)

  교수연구실: E3-5, 305
  
  3567

  소프트웨어공학, 소프트웨어테스팅

• 

  이주영

  부교수

  교수연구실: N5, 2318
  
  3571

  암호론, 조합론

• 

  지글러 마틴

  부교수

  교수연구실: N1, 506
  
  3568

  전산이론, 복잡도, 실수 연산

• 

  최성희

  부교수

  교수연구실: E3-1, 3404
  
  3534

  계산기하학, 컴퓨터그래픽스

• 

  허기홍

  부교수

  교수연구실: 2321, N5
  
  3581

  프로그램 분석, 프로그래밍 언어, 소프트웨어 보안

명예교수

• 

  이영희

  명예교수

  교수연구실: E3-1, 1406
  
  3560

  컴퓨터네트워크

• 

  한태숙

  명예교수

  교수연구실: E3-1, 1419
  
  3533

  프로그래밍언어, 컴파일러

• 

  황규영

  명예교수, 특훈교수, ACM/IEEE Life Fellow

  교수연구실: E3-1, 1406
  
  042-350-3522

  데이타베이스, 검색엔진

겸임교수

• 

  김기응

  겸임교수

  교수연구실: E3-1, 3426
  
  3536

  인공지능, 기계학습, 강화학습