Write a Blog >>

Registered user since Fri 9 Oct 2015

Name: Noam Zeilberger

Bio: Noam is currently a member of the Mathematical Components group at the MSR-INRIA Joint Centre. Last year he participated in the special year on type theory at the IAS. Before that, he spent a year at the IMDEA Software institute in Madrid, and before that two years in Paris at Laboratoire PPS and Equipe πr², on a fellowship of the Fondation Sciences Mathématiques de Paris. He got his PhD in 2009 from CMU SCS, after six great years living in Pittsburgh.

Affiliation: INRIA

Personal website: http://noamz.org/

POPL 2016 Activities

POPL 2016-profile
View general profile