Name:Noam Zilberstein

Bio:

I am a final year PhD Candidate at Cornell University in the area of Programming Languages and Formal Methods, advised by Alexandra Silva. Before coming to Cornell, I was a staff software engineer in the Facebook Programming Languages and Runtimes team, where I was fortunate to work on unique projects including using dependently typed Haskell in production and formally verifying concurrent algorithms for an OS microkernel.

My research focuses on logical foundations for reasoning about programs that branch into different outcomes, which provide a unifying perspective for reasoning about a wide variety of effects including nondeterminism, nontermination, randomization, concurrency, and exceptions. Through my research, I have developed Outcome Logic, which has applications including unifying the theories of correctness and incorrectness and verification of concurrent randomized algorithms.

I am on the market for tenure track academic positions. See my research statement and CV for more information.

Country:United States

Affiliation:Cornell University

Research interests:Logic, Semantics, Formal Methods