Academics
Stevens Institute of Technology is a student-centric research university, with technology at its core. Our four schools and one college uniquely prepare students for bright futures in diverse fields including tech, finance, medicine, energy, engineering — even art and music.
Discover Stevens
Stevens is driven by the idea of building a better future through innovation and technology. Our hands-on experiences, industry-leading internships and cooperative learning opportunities establish a strong foundation for our students’ success.
- The Innovation University
  The Innovation University
  Our History
- Leadership & Vision
- Strategic Plan
- Stevens By the Numbers
- University Culture and Engagement
- Sustainability
- News
- Events
Student Life
Our vibrant campus sits across the river from New York City, opening the door to endless opportunity and adventure. There’s never a dull moment on campus — with fraternities and sororities, clubs, athletics and arts, every student can pursue their passions beyond the classroom.
- New Students
  Undergraduate New Students
  Graduate New Students
- The Stevens Experience
  The Stevens Experience
  Living at Stevens
  Student Groups and Activities
  Arts and Culture
- Supporting Your Journey
  Counseling and Psychological Services
  Office of Student Support
  Student Health Services
  Office of Disability Services
  Meet Tillie
  Other Support Resources
- Office of Undergraduate Student Life
- Graduate Student Life
- Building Your Career
- Student Affairs
- Commencement
Research
From promising new classes of cancer medications to AI that detects falsehoods to 'green' filters that remove chemicals and poisons from drinking water, Stevens' research is making a difference to people and our world.
Admission & Aid
With 35 undergraduate majors, 58 master’s degree programs and 20 Ph.D. programs, your potential is limitless. When you enroll at Stevens, your dreams are in reach and we’re here to help make them a reality.
- Why Stevens
- Undergraduate Admissions
  Undergraduate Admissions
  How to Apply
  Dates and Deadlines
  Visit Campus
  Accepted Students
  Meet Our Staff
- Graduate Admissions
  Graduate Admissions
  Apply to a Graduate Program
  Costs and Funding
  Deadlines
  Visits and Events
  Chat with a Student
- Tuition and Financial Aid
  Tuition and Financial Aid
  Undergraduate Cost of Attendance and Aid
  Graduate Cost of Attendance and Funding
  Applying for Aid
  Student Enrollment Services
  Student Resources
  Contact Financial Aid
- International Students
- Veterans and Military
  Veterans and Military
  Military Education and Leadership Programs
  Stevens ROTC Programs
  Using Your GI Bill
- Pre-College Programs
- Visit Us

Noam Zilberstein

Assistant Professor

School of Computing

Gateway Center S356

[email protected]

Education

Ph.D. (2026) Cornell University (Computer Science)
M.S. (2023) Cornell University (Computer Science)
B.S. (2015) University of Pennsylvania (Computer and Information Science)

Research

The overarching goal of my research is to develop mathematical foundations for trustworthy software systems. I combine formal reasoning, automated analysis, and AI to make complex programs more reliable. My work spans semantic foundations, scalable program analysis techniques, and infrastructure for AI-assisted verification. I am currently working on the following research directions:

Mathematical Foundations of Program Logics: Foundations for reasoning about complex programs, including challenging combinations of effects such as concurrency, probability, and nondeterminism.

Next-Generation Static Analysis: Scalable analysis techniques enhanced by generative AI to solve targeted reasoning problems while preserving the efficiency of traditional methods.

Infrastructure for AI-Based Program Verification: Trusted formal libraries and verification frameworks that enable AI systems to reason about programs with mathematical rigor.

Experience

Before starting graduate school, I was 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.

Honors and Awards

2024 ACM SIGPLAN John Vlissides Award
Distinguished Paper Award at POPL 2026