About

Paul Gazzillo is starting in August as an Assistant Professor of Computer Science at University of Central Florida. He received his PhD from NYU and has worked as a Post-Doc at Yale and a Research Scholar at Stevens Institute. His research aims to make it easier to develop safe and secure software, and it spans programming languages, security, software engineering, and systems. Projects include analysis of configurable systems, side-channel attack detection, and concurrent smart contracts. His work has been published in venues such as PLDI, ESEC/FSE, and PODC and has been recognized with a SIGPLAN Research Highlight.

News

May 2018
I was awarded a collaborative grant from the NSF on analyzing configurable systems.
Apr 2018
I am excited to be joining UCF as an assistant professor this August!
Mar 2018
We contributed "How to add concurrency to smart contracts" to the new Distributed Computing column of the Bulletin of the EATCS.
Feb 2018
I'm excited to be on the program committee for the SPLC Challenge Track. Try solving one of the challenges!
Jan 2018
Our paper "On-the-Chain Proofs for 'Off-the-Chain' Safety" was accepted at WTSC 2018!
Jan 2018
Our SPLC challenge case, "Localizing Configurations in Highly-Configurable Systems", has been accepted!
Sep 2017
Our smart contract concurrency paper was featured on the morning blog.

See all news here.