Registered user since Sat 15 Aug 2020
Name: Noam Zilberstein
Bio: I work for Facebook in the Programming Languages and Runtimes group. My current projects involve adding capabilities to the Hack programming language that will allow us to guarantee the privacy of user data. In the past, I have also worked on large scale production systems implemented in Haskell.
Before working at Facebook, I was an undergrad at the University of Pennsylvania. During my time at Penn, I worked on a project to verify the type safety System FC using the Coq Proof Assistant. This project was advised by Stephanie Weirich and Richard Eisenberg.
Country: United States
Affiliation: Facebook, USA
Research interests: Type Systems, Dependent Types, Formal Verification, Functional Languages
|Haskell 2020||Eliminating Bugs with Dependent Haskell (Experience Report)|
|Show activities from other conferences|
View general profile