• The Course Information System (CIS) is the department's web application for managing courses, i.e. students, submissions, grades, teaching assistants, material, etc.
  • The DBKit is a tool for model-driven development of web databases
  • The I3P Interface for Isabelle is a fast, robust and user-friendly front-end for the theorem prover I use for software verification.

Current Projects

Past Projects