Gian Pietro Farina
Gian Pietro Farina is a fifth year Computer Science PhD candidate at University at Buffalo. Gian is primarily interested in the intersection between theory and design of programming languages and information security. He is currently working in the area of verification of relational properties of programs, specifically differential privacy, using type systems, symbolic execution and program logics, under the supervision of Marco Gaboardi. Before starting his PhD, he worked as a penetration tester for Accenture in Prague, as a log analyzer at Lutech SPA in Milan, and as a cryptography researcher at ETH.