Marco Gaboardi

Scopri come i framework di programmazione migliorano la privacy differenziale per l'analisi dei dati.

Uno sguardo a TopKAT e al suo ruolo nell'analisi dei programmi informatici.

Uno sguardo alle complessità dell'algebra di Kleene con condizioni di commutatività.