Daniel Jackson

Digital Library

ACM Fellows

United Kingdom - 2016

citation

For contributions to software modeling and the creation of the modeling language Alloy.

Press Release