Now accepting graduate students for funded RAships in program analysis and security! See the description of research areas. Send me an email if interested. Then pre-apply and apply to UCF.

Paul Gazzillo is an Assistant Professor of Computer Science at University of Central Florida. He received his PhD from NYU and previously 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

Sep 2018
I gave a talk on our SPLC Challenge Track paper "Localizing Configurations in Highly-Configurable Systems".
Aug 2018
Joined University of Central Florida as an assistant professor.
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!

See all news here.