Noam Zilberstein

Noam Zilberstein

Computer Science PhD Student

Cornell University

About Me

I am a PhD student in Computer Science at Cornell University. Prior to coming to Cornell, I worked for six years as a Software Engineer at Facebook. During my time at Facebook, I worked on some of the world’s largest software systems. I discovered that modern software development practices are not sophisticated enough to build and reason about these systems, so I experiemented with new techniques. I built large scale systems using dependently typed Haskell and formally verified concurrent algorithms using Coq.

Through my research, I hope to bring about a new generation of software development techniques in order to meet the scale of today’s massive systems.

Download my CV.

Interests
  • Programming Languages
  • Logic and Semantics
  • Formal Methods
  • Algorithms and Computability
Education
  • PhD, Computer Science, in progress

    Cornell University

  • BSE, Computer and Information Science, 2015

    University of Pennsylvania

Recent Publications