Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Noam Zilberstein

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

Contributions

Haskell 2020 Eliminating Bugs with Dependent Haskell (Experience Report)
Show activities from other conferences

ICFP 2020-profile
View general profile