En 1999, Pnueli se mudó al Departamento de Ciencias de la Computación de la Universidad de Nueva York.