Seminar mit Bachelorarbeit

Completed Projects

SS 2017

Pseudonymisierung für Patientendaten eines Tumorboards
student:   Benjamin Vettori
initial / final presentation:   25.04.17 / 23.05.17
thesis

Isabelle Formalization of the Welfare Theorem
student:   Julian Parsert
initial / final presentation:   14.03.17 / 06.06.17
thesis