News

A paper about Déjà Vu will appear on Onward! 2019. Santiago will present Déjà Vu at SPLASH 2019 in Greece.

A draft of Daniel’s new book “Design by Concept” is available for purchase on Amazon

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”. 

Daniel received the Arthur C. Smith Award, in honor of Art Smith, former dean at MIT and graduate and undergraduate officer in EECS.

Eunsuk invited to write a blog post about his thesis work for IEEE Software

Daniel elected ACM Fellow

Daniel ran a three-day workshop on security-by-design during IAP with Nickolai Zeldovich
for 30 Accenture software architects from around the world

Daniel gave distinguished lectures at UIUC and UMass Amherst (Nov 2016)

Recent SDG alum Eunsuk Kang won an ACM Distinguished Paper Award for a paper on design-level security analysis based on his thesis work

Daniel gave an award keynote at FSE in Seattle with Mandana Vaziri, following their receiving the SIGSOFT Impact award for their 2001 paper on using SAT to find bugs in code