Zeilberger, Noam
[M] School of Mathematics
Field of Study: Computer Science
Research Description: 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.
Home Institution: Institute for Advanced Study
Funding provided by the National Science Foundation
| Type | Affiliation | Start Date | End Date |
|---|---|---|---|
| [M] | Math | 9/23/2012 | current |
| Degree | Year | Institution |
|---|---|---|
| Ph.D. | 2009 | Carnegie Mellon University |