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.
Personal website: http://noamz.org/
POPL 2016 Activities
View general profile