Noam Zilberstein

I am a PhD Student at Cornell University in the area of Logic, Semantics, and Formal Methods, advised by Alexandra Silva. My research focuses on Outcome Logic, a logical foundation for correctness and incorrectness reasoning across computational effects (such as nondetermism and probabilistic programs). This work is supported in part by an Amazon Research Award.

Before coming to Cornell, I worked as a software engineer for six years at Facebook. During that time, I was fortunate to have unique opportunities including using dependently typed Haskell in production, formally verifying concurrent algorithms for an OS microkernel, and experimenting with an information flow control type system for the Hack language. I strive to ground my research in these invaluable experiences.


May ’23

This June I will be visiting the Programming Principles, Logic, and Verification Group at UCL

May ’23

I will be attending the Iris Workshop at MPI-SWS to talk about my work on Outcome Separation Logic

Dec ’22

My paper on Outcome Logic with Derek Dreyer and Alexandra Silva was conditionally accepted to OOPSLA 2023

Dec ’21

I was selected to participate in this year’s POPL Student Research Competition

Nov ’21

My paper on formal verification work that I did at Facebook has been accepted to CPP



CPP  ’22
Quentin Carbonneaux, Noam Zilberstein, Peter O'Hearn, Christoph Klee, Francesco Zappa Nardelli