Daniel Jackson. Associate Director, CSAIL Professor, Computer Science · MacVicar Teaching Fellow · Massachusetts Institute of Technology.
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 ...
Daniel Jackson
Professor
Daniel Jackson is a professor of Computer Science at the Massachusetts Institute of Technology. He is the principal designer of the Alloy modelling language, and author of the books Software Abstractions: Logic, Language, and Analysis and The... Wikipedia
People also ask
How many Phds does Daniel Jackson have?
What was Daniel Jackson's job?
Daniel Jackson is professor of computer science at MIT, and associate director of the MIT Computer Science and Artificial Intelligence Laboratory.
CSAIL's Daniel Jackson believes software should be empowering, dependable, and easy to use, and he has a strategy to make it better.
Jul 2, 2024 · Massachusetts Institute of Technology Professor Daniel Jackson, associate director of MIT Computer Science and Artificial Intelligence ...
Daniel Jackson. Massachusetts Institute of Technology | MIT · Department of Electrical Engineering and Computer Science.
Duration: 19:45
Posted: Jun 18, 2024
Posted: Jun 18, 2024
Daniel Jackson is professor of computer science and associate director of CSAIL, MIT's largest lab. His software research won an Impact Award and ...
Daniel Jackson mainly investigates Programming language, Theoretical computer science, Formal specification, Formal methods and Object language. His research in ...
Software Abstractions: logic, language, and analysis. D Jackson. MIT press, 2012. 2648, 2012 ; Alloy: a lightweight object modelling notation. D Jackson. ACM ...
Missing: scientist) | Show results with:scientist)