Marco Gaboardi

Learn how programming frameworks enhance differential privacy for data analysis.

A look into TopKAT and its role in analyzing computer programs.

A look into the complexities of Kleene algebra with commutativity conditions.