Geboren 1980 in New York City. Bachelor-Abschluss in Mathematik und Informatik der New York University. Promotion 2005 in Informatik an der Carnegie Mellon University. Von 2005 bis 2007 Assistenzprofessor am Toyota Technological Institute in Chicago. Seit 2008 am Max-Planck-Institut für Softwaresysteme auf einer Tenure-Track-Stelle. Honorarprofessor der Universität des Saarlandes 2017. Der Informatiker hat zahlreiche Auszeichnungen erhalten, darunter den 2017 ACM SIGPLAN Robin Milner Young Researcher Award, 2015 einen ERC Consolidator Grant, mehrere Distinguished Paper Awards auf Top-Konferenzen und kürzlich den "Busy Beaver Award" der Universität des Saarlandes für herausragendes Engagement in der Lehre. Seit dem 1. Mai 2022 Direktor am Max-Planck-Institut für Softwaresysteme, Saarbrücken.