Marco Gaboardi

Lerne, wie synthetische Daten die Privatsphäre in langfristiger Forschung schützen können.

Lern, wie Programmierframeworks die differenzielle Privatsphäre für Datenanalyse verbessern.

Ein Blick auf TopKAT und seine Rolle bei der Analyse von Computerprogrammen.

Ein Blick auf die Komplexitäten der Kleene-Algebra mit Kommutativitätsbedingungen.