Paul Gazzillo is a research scholar at Stevens Institute of Technology. His research aims to make it easier to develop safe and secure software. His work spans programming languages, security, software engineering, and systems. Projects include program analyses to find side-channels, concurrent smart contracts, parsing C and the preprocessor, and Makefile analysis. He received his PhD from NYU and has previously worked as a post-doc at Yale.