Daniel received the 2017 SIGSOFT Outstanding Research Award which was presented at ICSE'17 in Buenos Aires where he gave a keynote. The citation for the award read: "for foundational contributions to software modeling, the creation of the modeling language Alloy, and the development of a widely used tool supporting model verification".