Paul Gazzillo is a research scholar at Stevens Institute of Technology. He received his PhD from NYU and has previously worked as a post-doc at Yale. 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 program analyses to find side-channels, to support massively configurable systems code, and to make concurrent smart contracts safer. His work has been published in venues such as PLDI, ESEC/FSE, and PODC and has been recognized with a SIGPLAN Research Highlight.
His webpage can be found at https://paulgazzillo.com.