Scholar
Daniel Jackson
Google Scholar ID: PXY96lkAAAAJ
MIT
Citations & Impact
Citations
2,588
H-index
21
i10-index
45
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Recipient of the 2016 ACM SIGSOFT Impact Award and the 2017 ACM SIGSOFT Outstanding Research Award. An ACM Fellow. Chaired a National Academies study on software dependability and certification, and was a member of another study investigating unintended acceleration.
Research Experience
- Current and recent projects include: concept design (a new approach to structuring software), Kodless (a tool for generating entire apps with LLMs), Riffle (a local-first architecture for reactive applications), and Wildcard (a browser extension for malleable software). He also coined the term 'lightweight formal methods' and designed Alloy with his students.
Background
- Professor of Computer Science, Associate Director of CSAIL, and MacVicar Teaching Fellow at MIT. His research interests include software design and formal methods.
Miscellany
- Personal interests include photography, with a personal photo site.
Co-authors