APPLESEED Lab
The Applied Programming Languages, Software Engineering, and Education (APPLESEED) Lab tackles problems in software, security, and systems and cultivates computational thinking.
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.
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.