We are offering courses in Formal Methods, Model Checking, Computer-Aided Verification, Abstract Interpretation, and Decision Procedures. We are always looking for enthusiastic young people who are interested in a research project or thesis in the Bachelor, Master, and PhD programs.
Current/upcoming courses
Course number |
Course name |
Type |
Latest/upcoming Semester |
TISS link |
184766 |
Introduction to Logical Methods in Computer Science |
VO |
2024S |
|
184749 |
Semantics of Programming Languages |
VU |
2024S |
|
184703 |
Program Analysis |
VU |
2023W |
|
185A93 |
Formal Methods in Computer Science |
UE |
2023W |
|
185291 |
Formal Methods in Computer Science |
VU |
2023W |
|
181144 |
Computer-Aided Verification |
UE |
2023S |
|
184741 |
Program and System Verification |
VU |
2023S |
|
184774 |
Automated Deduction |
VU |
2023S |
|
184090 |
SAT Solving |
VU |
2023S |
|
181145 |
Computer Aided Verification |
VU |
2023S |
|
192142 |
Introduction to Type Theories |
VU |
2023S |
|
Current/upcoming seminars
Course number |
Course name |
Type |
Latest/upcoming Semester |
TISS link |
184767 |
Research Seminar LogiCS |
SE |
2024S |
|
181224 |
Doctoral & Master Students Seminar |
SE |
2024S |
|
181221 |
Seminar Formal Methods |
SE |
2024S |
|
Current/upcoming projects
Course number |
Course name |
Type |
Latest/upcoming Semester |
TISS link |
184695 |
Bachelor Thesis |
PR |
2024S |
|
192022 |
Project in Computer Science 2 |
PR |
2023W |
|
192021 |
Project in Computer Science 1 |
PR |
2023W |
|
184693 |
Project in Computer Science 2 |
PR |
2023S |
|
184692 |
Project in Computer Science 1 |
PR |
2023S |
|
Old courses
Course number |
Course name |
Type |
Latest/upcoming Semester |
TISS link |
184692 |
Project in Computer Science 1 |
PR |
2022W |
|
181224 |
Doctoral & Master Students Seminar |
SE |
2022W |
|
184766 |
Introduction to Logical Methods in Computer Science |
VO |
2022W |
|
185A93 |
Formal Methods in Computer Science |
UE |
2022W |
|
181144 |
Computer-Aided Verification |
UE |
2022W |
|
181221 |
Seminar Formal Methods |
SE |
2022W |
|
181145 |
Computer Aided Verification |
VU |
2022W |
|
184695 |
Bachelor Thesis |
PR |
2022W |
|
185291 |
Formal Methods in Computer Science |
VU |
2022W |
|
184703 |
Program Analysis |
VU |
2022W |
|
184693 |
Project in Computer Science 2 |
PR |
2022W |
|
184767 |
Research Seminar LogiCS |
SE |
2022W |
|
184774 |
Automated Deduction |
VU |
2022S |
|
184741 |
Program and System Verification |
VU |
2022S |
|
184090 |
SAT Solving |
VU |
2022S |
|
184749 |
Semantics of Programming Languages |
VU |
2022S |
|
192106 |
Software Model Checking |
VU |
2021W |
|
184697 |
Project in Software Engineering & Internet Computing |
PR |
2020S |
|
181222 |
Project in computational logic |
PR |
2020S |
|
181220 |
Rigorous Systems Engineering |
VU |
2018S |
|