Module Handbook

Lin, Anthony, Prof. Dr. (PROF | DEPT: INF)

AG Automatic Reasoning

Responsible for Modules

INF-02-05-M-2
Logic and Semantics of Programming Languages
[INF-PFL] Mandatory Modules
INF-50-45-M-4
Algorithms and Deduction (Project)
[INF-ALG] Algorithmics and Deduction
INF-54-11-M-4
Algorithmics (Ba-Seminar)
[INF-ALG] Algorithmics and Deduction
INF-54-72-M-7
Specific Algorithms (Seminar)
[INF-ALG] Algorithmics and Deduction
INF-54-82-M-7
Algorithms and Complexity (Project)
[INF-ALG] Algorithmics and Deduction
INF-56-11-M-4
Logic and Verification (Ba-Seminar)
[INF-ALG] Algorithmics and Deduction
INF-56-51-M-6
Concurrency Theory
[INF-ALG] Algorithmics and Deduction
INF-56-52-M-6
Advanced Automata Theory
[INF-ALG] Algorithmics and Deduction
INF-56-53-M-5
Complexity Theory
[INF-ALG] Algorithmics and Deduction
INF-56-72-M-7
Logic and Verification (Seminar)
[INF-ALG] Algorithmics and Deduction
INF-59-51-M-6
Automated Reasoning
[INF-ALG] Algorithmics and Deduction
INF-59-52-M-6
Game-Theoretic Techniques in Logic and Verification
[INF-ALG] Algorithmics and Deduction

Lecturer for Modules

INF-02-05-M-2
Logic and Semantics of Programming Languages
[INF-PFL] Mandatory Modules
INF-50-45-M-4
Algorithms and Deduction (Project)
[INF-ALG] Algorithmics and Deduction
INF-54-11-M-4
Algorithmics (Ba-Seminar)
[INF-ALG] Algorithmics and Deduction
INF-56-11-M-4
Logic and Verification (Ba-Seminar)
[INF-ALG] Algorithmics and Deduction
INF-56-72-M-7
Logic and Verification (Seminar)
[INF-ALG] Algorithmics and Deduction
INF-59-51-M-6
Automated Reasoning
[INF-ALG] Algorithmics and Deduction
INF-59-52-M-6
Game-Theoretic Techniques in Logic and Verification
[INF-ALG] Algorithmics and Deduction
INF-82-51-M-2
Formal Foundations of Computer Science
[INF-LA] Teacher Education

Lecturer for Courses

INF-02-05-K-2
Logic and Semantics of Programming Languages
3V+2U [INF-PFL] Mandatory Modules
INF-50-45-K-4
Algorithms and Deduction (Project)
4L [INF-ALG] Algorithmics and Deduction
INF-54-11-K-4
Algorithmics (Ba-Seminar)
2S [INF-ALG] Algorithmics and Deduction
INF-56-11-K-4
Logic and Verification (Ba-Seminar)
2S [INF-ALG] Algorithmics and Deduction
INF-56-72-K-7
Logic and Verification (Seminar)
2S [INF-ALG] Algorithmics and Deduction
INF-59-51-K-6
Automated Reasoning
4V+2U [INF-ALG] Algorithmics and Deduction
INF-59-52-K-6
Game-Theoretic Techniques in Logic and Verification
3V+1U [INF-ALG] Algorithmics and Deduction