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.