(The following topics include but are not limited to)
Topic 1: Computational Theory
Computational complexity theory
Algorithm Design and Analysis
Computability and unsolvable problems
Random Algorithm and De randomization
Quantum computing complexity
Online Algorithms and Competitive Analysis
Parameter complexity
Computational Learning Theory
Topic 2: Automata
Finite Automata and Regular Language
Pushing down automata and context free languages
Turing machines and computable models
Probabilistic Automata and Quantum Automata
Automata Learning and Inference
Tree Automata and Temporal Logic
Biological and Chemical Computational Models
The Application of Automata in Verification
Topic Three: Logic
Propositional Logic and Predicate Logic
Modal Logic and Temporal Logic
Non classical logic
Proof Theory and Model Theory
Logic and Computation
Logic and Natural Language
Logic and Artificial Intelligence
Fundamentals of Logic and Philosophy