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
184741 Program and System Verification VU 2026S
192033 Logic and Reasoning in Computer Science VU 2026S
184766 Introduction to Logical Methods in Computer Science VO 2026S
192186 SAT Algorithms, Applications and Extensions VU 2026S
184774 Automated Deduction VU 2025W
192179 Introduction to Computer Algebra VU 2025W
192065 Cryptocurrencies VU 2025W
184702 Machine Learning VU 2025W
192171 Computer-Aided Verification VU 2025W
192168 Program Analysis VU 2025W
192164 Formal Methods in Systems Engineering VU 2025W
192080 Crypto Asset Analytics VU 2025S
192019 Introduction to Security VU 2025S
184090 SAT Solving VU 2025S
184749 Semantics of Programming Languages VU 2025S
192059 Formal Methods for Security and Privacy VU 2025S

Current/upcoming seminars

Course number Course name Type Latest/upcoming Semester TISS link
184767 Research Seminar LogiCS SE 2026S
181224 Doctoral & Master Students Seminar SE 2026S
192185 Seminar in Computer Science (Formal Methods in Systems Engineering) SE 2025W
192184 Seminar in Logic (Formal Methods in Systems Engineering) SE 2025W
192060 Seminar for PhD Students SE 2025W
181221 Seminar Formal Methods SE 2025S

Current/upcoming projects

Course number Course name Type Latest/upcoming Semester TISS link
192022 Project in Computer Science 2 PR 2026S
192021 Project in Computer Science 1 PR 2026S
184695 Bachelor Thesis PR 2026S
192061 Bachelor Thesis PR 2025W
192035 Project in Computer Science 2 Trends in cloud computing PR 2025S

Old courses

Course number Course name Type Latest/upcoming Semester TISS link
184703 Program Analysis VU 2024W
185291 Formal Methods in Computer Science VU 2024W
181221 Seminar Formal Methods SE 2024W
184767 Research Seminar LogiCS SE 2024W
192061 Bachelor Thesis PR 2024W
185A93 Formal Methods in Computer Science UE 2024W
184766 Introduction to Logical Methods in Computer Science VO 2024W
184695 Bachelor Thesis PR 2024W
192022 Project in Computer Science 2 PR 2024W
192021 Project in Computer Science 1 PR 2024W
192060 Seminar for PhD Students SE 2024W
181224 Doctoral & Master Students Seminar SE 2024W
184702 Machine Learning VU 2024W
192065 Cryptocurrencies VU 2024W
192035 Project in Computer Science 2 Trends in cloud computing PR 2024S
192019 Introduction to Security VU 2024S
192080 Crypto Asset Analytics VU 2024S
192059 Formal Methods for Security and Privacy VU 2024S
184090 SAT Solving VU 2024S
184741 Program and System Verification VU 2024S
184749 Semantics of Programming Languages VU 2024S
192033 Logic and Reasoning in Computer Science VU 2024S
184693 Project in Computer Science 2 PR 2023S
184774 Automated Deduction VU 2023S
192075 Project in Computer Science 1 PR 2023S
184783 Introduction to Security VU 2023S
192142 Introduction to Type Theories VU 2023S
184692 Project in Computer Science 1 PR 2023S
192076 Project in Computer Science 2 PR 2023S
181144 Computer-Aided Verification UE 2022W
181145 Computer Aided Verification VU 2022W
192069 Seminar for PhD Students SE 2021W
192106 Software Model Checking VU 2021W
184697 Project in Software Engineering & Internet Computing PR 2020S
181222 Project in computational logic PR 2020S
192062 Introduction to Modern Cryptography VU 2019W
192092 Capture The Flag SE 2019W
192063 Tutorial on Introduction to Modern Cryptography VU 2019W
192082 Introduction to Security UE 2019S
184788 Project in Software Engineering & Internet Computing PR 2019S
192068 Bachelor Thesis PR 2018W
192066 Seminar in Theoretical Computer Science - Foundations of Blockchain Technologies SE 2018W
184787 Project in Computer Science 2 PR 2018W
184786 Project in Computer Science 1 PR 2018W
181220 Rigorous Systems Engineering VU 2018S