Marco Gaboardi

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.