Noam Zilberstein

Registered user since Sat 15 Aug 2020

Name:Noam Zilberstein

I am a PhD Student at Cornell University. My research focuses on developing programming languages and formal methods that help developers more effectively reason about the correctness of their code. I strive to ground my work in my six years of experience as a Software Engineer at Facebook in order to create solutions that can be applied in practice and that scale well to large systems. During my time at Facebook, I successfully applied these ideas to formally verify critical concurrent algorithms and eliminate bugs using dependently typed code. Through my research and industry collaborations, I hope to bring about a new generation of software development techniques that can better meet the scale of today’s increasingly complex systems.

Country:United States
Affiliation:Cornell University
Research interests:Formal Verification, Logic, Probabilistic Programming


CPP 2022 Applying Formal Verification to Microkernel IPC at Meta
Show activities from other conferences

Using general profile