Teaching
This is a selection of courses I am, or have been, involved in.
1920 Semantics and Rewriting
1920 Logic and Applications
1920 Natural and Mechanized Proofs
1920 Semantics and Correctness
1920 Formal Reasoning
1920 Mathematical Structures
1819 Computation Models
1819 Logic and Applications
1819 Discrete Structures
1819 Semantics and Correctness
1819 Formal Reasoning
1819 Mathematical Structures
1718 Computation models
1718 Assertion and Argumentation
1718 Discrete Structures
1718 Semantics and Correctness
1718 Combinatorics (Fall)
1718 Mathematical Structures
1718 Formal Reasoning
1617 Berekeningsmodellen
1617 Beweren en Bewijzen
1617 Semantiek en Correctheid
1617 Cyber Security at Innopolis University (S17_CS 436)
1617 Discrete Structures
1617 Combinatorics
1617 Mathematical Structures
1617 Formal Reasoning
1617 Security at Innopolis University (CSec 401)