You cannot see this page without javascript.

Language
한국어

Lectures

 

 

Spring 2022:

 

 

Fall 2021:

  • 컴퓨터교육론/논리학

  • 정형기법 (Cancelled)

 

Spring 2021:

  • 프로그래밍언어론: 다중패러다임프로그래밍언어론

  • Formal Methods Seminar (Graduate)

  • OS Seminar (Graduate: Education)

 

Fall 2020:  Sabbatical Year

 

Spring 2020:

  • C 언어 기초

  • Web Programming
  • 정형기법

 

Fall 2019:

  • Software Engineering

  • Multi-Media Project
  • Software Engineering Seminar (Graduate)

Spring 2019:

  • Theory of Programming Languages

  • SW Development II
  • Formal Methods (Graduate)

Fall 2018:

  • Software Engineering

  • Multi-Media Project
  • Seminar on Formal Methods (Graduate)

Spring 2018:

  • Programming Language

  • Project: SW Development

  • Special Lecture on Formal Methods (Graduate)

Fall 2017:

  • Software Engineering

  • Information Search & Retrieval
  • Special Lecture on Formal Methods (Graduate)

 

Spring 2017:  Sabbatical Year

 

Fall 2016: Sabbatical Year

 

  • Be back in the Fall of 2017.

 

Spring 2016:

  • Theory of Programming Languages

  • SW Development Project I
  • Formal Method Seminar (Graduate)

 

Fall 2015:

  • Statistics

  • Multi-Media
  • Seminar on Real-time Systems(일반대학원)
  • Seminar on Software Engineering (정보과학대학원)

 

Spring 2015:

  • Theroy of Programming Languages

  • SW Project II: Development
  • Seminar on Software Engineering (일반대학원)

 

Fall 2014년:

  • Software Engineering

  • Statistics
  • Operating Systems (정보과학대학원)
  • Seminar on Formal Methods (일반대학원)