Registered user since Fri 9 Oct 2015
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.
|Off the Beaten Track 2016||Committee Member in Program Committee within the Off the Beaten Track-track|
|Show activities from other conferences|
View general profile