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