News

Tue, 10/19/2021

Kapaya Katongo presented his work on Joker: A Unified Interaction Model For Web Customization (coauthored with Geoffrey Litt, Kathryn Jin, and Daniel Jackson) at the LIVE 2022 workshop.

Sun, 08/01/2021

Daniel's upcoming book on software design, The Essence of Software, is at the printer! Official publication date is Nov 9, when it will be available on...

Fri, 06/25/2021

Our proposal to the NSF DASS program has been accepted. PIs Daniel Jackson, Daniel Weitzner and Joan Feigenbaum will be developing a new approach to bridge the gap between new legal requirements (such as GDPR) and software designs, using "policy concepts," and idea that builds on Jackson's...

Thu, 05/20/2021

Daniel is giving a lecture in JHU's Assured Autonomy Series about certified control.

Tue, 03/23/2021

Thrilled that Geoffrey Litt has been awarded an NSF Fellowship, joining Josh Pollock who was awarded one last year.

Fri, 10/11/2019

A draft of Daniel's new book "Design by Concept" is available for purchase on Amazon

Fri, 10/11/2019

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

Fri, 10/11/2019

Daniel's CACM article about Alloy is now available. There's also a video showing Alloy in action.

Sun, 05/28/2017

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

Wed, 05/03/2017

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