Join Us

Join Us

I am accepting graduate students for funded RAships in program analysis and security! Read about my research. Send me an email. Then apply to UCF.




The Applied Programming Languages, Software Engineering, and Education (APPLESEED) Lab tackles problems in software, security, and systems and cultivates computational thinking.

Coming Soon!

fully responsive

CyberSP Cluster

The Cyber Security and Privacy (CyberSP) Cluster is a university-wide research cluster formed as part of the Faculty Cluster Initiative that focuses on security and privacy in cyberspace.


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.


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.