Xu Liu
- Russell's paradox, Gödel's incompleteness theorems and Computability
- Computation Model and Complexity
- Turing Machine, Lambda Calculus and NP
- Syntax and FSM
- Regular Expression and Automata
- Context-free and Push-down Automata
- Context-sensitive and Turing Machine
- Semantics and Interpreter
- Static Analysis and Correctness
- Approximation and Type Theory
- Programming Paradigms
- Imperative
- Functional
- Logical
- Object Oriented