Lecture Slides
Projects
- Tutorial for the language Smalltalk (Etienne Mettaz)
- Pitfalls of Concurrency (Joey Zgraggen)
- Difficulty of Brute-Forcing CAPTCHAs (Julien Rudin)
- Hoare Logic Verifier (Kian Hunziker)
- Tutorial for the Diffie-Hellman Public-Key Exchange Protocol (Lars Waldvogel)
- Translator between First-Order Logic and Relational Calculus (Luca Frey)
- LISP Chess Engine (Luka Obser)
- Neural Net for a Maze (Mateusz Palasz)
- Tutorial for the Language CLU (Nakarin Srijumrat)
- Simulation of Ethernet Protocol Communication (Nikodem Kernbach)
- Biconnected Components of Graphs (Nour Shokry)
- Visualization of the Planning Domain "snake" (Patrice Delley)
- Sutherland-Hodgman Algorithm for Clipping Polygons (Sanja Popovic)
- Query in a Bayesian Net (Tim Keller)
- Tutorial for the Language Algol (Viktor Gsteiger)