Past Member
Noam Zeilberger
Funding provided by the National Science Foundation
Affiliation
Mathematics
Field of Study
Computer Science
From
–
Noam Zeilberger is interested broadly in the connections between logic and language and computation, and will participate in the univalent foundations project during his stay at the Institute. His work has focused on understanding computational duality and the problem of side-effects within the context of type theory.
Dates at IAS
Member
School of Mathematics
–
Degrees
Carnegie Mellon University
Ph.D.
2009