Lectures
Fall 2024:
Spring 2024: Sabbatical
-
Critical Issues in Education for Computer Science at JBNU
-
Metaology for X
Fall 2023:
-
Research on Computer Educational Material (Undergraduate: Computer Science & Engineering)
-
Database (Graduate: Education)
Spring 2023:
-
Computer Education (Undergraduate)
-
Operating Systems (Graduate: Education)
Fall 2022:
-
Statistics
-
Advances in Software Engineering (Graduate: Education)
Spring 2022:
-
컴퓨터교재연구 및 지도법
-
Advances in Software Engineering (Graduate)
- 컴퓨터논리 및 논술 연구 (Graduate)
Fall 2021:
-
컴퓨터교육론/논리학
-
정형기법 (Cancelled)
Spring 2021:
-
프로그래밍언어론: 다중패러다임프로그래밍언어론
-
Formal Methods Seminar (Graduate)
-
OS Seminar (Graduate: Education)
Fall 2020: Sabbatical Year
- Theory of Multi-Paradigm Programming Language
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 (일반대학원)