|
  |
Courses
Programing Language & Program Analysis
Prof. Kwangmoo Choe- Formal Languages and Automata (KAIST, undergraduate)
- Introduction to Programming (KAIST, undergraduate)
- Fundamentals of Program Design (Hanyang University, undergraduate)
- Logical Foundations of Programming (Hanyang University, undergraduate)
- Special Topics in Software Engineering (Hanyang University, graduate)
- Computer Programming (Dongduk Women's University, undergraduate)
- Object-oriented Programming (Dongduk Women's University, undergraduate)
- Compiler Construction (Hanyang University, undergraduate)
- Introduction To Engineering Design (Hanyang University, undergraduate)
- Principles of Programming Languages (Hanyang University, undergraduate)
- Program Analysis (Hanyang University, graduate)
- Semantics of Programming Languages (Hanyang University, graduate)
- Logic in Computer Science (POSTECH, undergraduate)
- Parallel Programming (POSTECH, graduate)
- Programming Languages (POSTECH, undergraduate)
- Foundations of Algorithms (KUT, undergraduate)
- Foundations of Programming Languages (KUT, undergraduate)
- Topics on Compiler Construction (KUT, graduate)
- Eng. Math. II: Logic in Computing (SNU, undergraduate)
- Principles of Programming (SNU, undergraduate)
- Program Analysis: Theories and Practices (SNU, graduate)
- Programming Language Theory (SNU, graduate)
- Programming Languages (SNU, undergraduate)
Software Engineering
Prof. Moonzoo Kim- Introduction to Logic for Computer Science (KAIST, undergraduate)
- Introduction to Software Engineering (KAIST, undergraduate)
- Software Engineering 2009 (KAIST, graduate)
- Software Engineering 2006 (KAIST, graduate)
- Special Topics in Software Engineering<Software Model Checking> (KAIST, graduate)
- System Modeling and Analysis (KAIST, graduate)
- Computopia (SNU, undergraduate)
- Software Application (SNU, undergraduate)
- Software Engineering (SNU, undergraduate)
Database
Prof. Wook-Shin Han- Operating System(KNU, udergraduate)
- Database Systems (POSTECH, udergraduate)
- Database Systems (KAIST, graduate)
- Discrete Mathematics (KAIST, undergraduate)
- Distributed Databases (KAIST, graduate)
- Introduction to Databases (KAIST, undergraduate)
Domain-specific Software
Prof. Seungyong Lee- Computer Graphics (POSTECH, undergraduate)
- Real-Time Graphics (POSTECH, graduate)
- Algorithms (SNU, undergraduate)
- Data Structures (SNU, undergraduate)
- Genetic Algorithms (SNU, graduate)
- Introduction to Robotics (SNU, undergraduate)
- Robot Mechanics (SNU, graduate)
- Vector Space Optimization (SNU, graduate)
- Introduction to Human-Computer Interaction (SNU, undergraduate)