Daniel Jackson (born 1963) is a Professor of Computer Science at the Massachusetts Institute of Technology (MIT). He is the principal designer of the Alloy modelling language, and author of the book Software Abstractions: Logic, Language, and Analysis.
| Attributes | Values |
|---|---|
| rdfs:comment |
|
| foaf:name |
|
| dc:description |
|
| alma mater | |
| birth place | |
| birth year |
|
| doctoral advisor | |
| known for |