Registered user since Sat 15 Aug 2020
Name:Noam Zilberstein
Bio:
I am an Assistant Professor of Computer Science at the Stevens Institute of Technology in Hoboken, NJ. My research centers around the semantic foundations of program logics and applications of formal methods to improve real world software quality.
I recieved my PhD from Cornell University, and was previously a staff software engineer in the Facebook Programming Languages and Runtimes team, where I applied formal methods by using dependently typed Haskell in production and formally verifying concurrent algorithms for an OS microkernel. My research has been recognized with the 2024 ACM SIGPLAN John Vlissides Award for applied software research and a distinguished paper award at POPL 2026.
Country:United States
Affiliation:Stevens Institute of Technology
Personal website: https://zilberstein.github.io
GitHub: https://github.com/zilberstein
Research interests:Logic, Semantics, Formal Methods
Using general profile