World's Best Scientists 2026 revealed!
Daniel Jackson

Daniel Jackson

D-Index & Metrics

Computer Science

D-Index
47
Citations
12386
World Ranking
6364
National Ranking
2842

Research.com Recognitions

  • 2016 - ACM Fellow For contributions to software modeling and the creation of the modeling language Alloy.

Overview

Daniel Jackson is affiliated with MIT in the United States and has contributed to research across multiple domains, particularly within Environmental Science.

Their recent publications include:

  • "Broadening Perspectives Activities" Improve LGBTQ+ Student Experiences and Religious Students' Content Comprehension (2024), published in CBE-Life Sciences Education

Frequent publication venues for their work include:

  • CBE-Life Sciences Education
  • Journal of Biomechanics
  • Archives of Virology
  • Virology
  • SSRN Electronic Journal

Co-authorship has been significant in their career with several collaborators, including:

  • Kevin J. McGraw (3 joint publications)
  • Diego Olivo (2 joint publications)
  • Joy M. Custer (2 joint publications)
  • Rohan Antonio Bandoo (2 joint publications)
  • Melanie Regney (2 joint publications)

Their main research fields cover Environmental Science, with subfields featuring prominently such as:

  • Ecology
  • Infectious Diseases
  • Genetics
  • Animal Science and Zoology
  • Education

Within these disciplines, the scientist's work addresses core topics including:

  • Animal Virus Infections Studies
  • Viral gastroenteritis research and epidemiology
  • Marine animal studies overview
  • Coral and Marine Ecosystems Studies
  • Religious Education and Schools
  • Jewish Identity and Society
  • Religion, Spirituality, and Psychology

In addition to articles, Daniel Jackson authored a book titled The Essence of Software, published by Princeton University Press in 2021.

Recognition includes being named an ACM Fellow in 2016 for contributions to software modeling and for creating the modeling language Alloy.

Best Publications

  • Software Abstractions: Logic, Language, and Analysis

    Daniel Jackson

  • Alloy: a lightweight object modelling notation

    Daniel Jackson

  • Kodkod: a relational model finder

    Emina Torlak;Daniel Jackson

  • Using dependency models to manage complex software architecture

    Neeraj Sangal;Ev Jordan;Vineet Sinha;Daniel Jackson

  • Alcoa: the alloy constraint analyzer

    D. Jackson;I. Schechter;I. Shlyakhter

  • Finding bugs with a constraint solver

    Daniel Jackson;Mandana Vaziri

  • Automating first-order relational logic

    Daniel Jackson

  • Lightweight Formal Methods

    Daniel Jackson

  • A micromodularity mechanism

    Daniel Jackson;Ilya Shlyakhter;Manu Sridharan

  • Lackwit: a program understanding tool based on type inference

    Robert O'Callahan;Daniel Jackson

  • An Invitation to Formal Methods

    J.P. Bowen;R.W. Butler;D.L. Dill;R.L. Glass

  • A new model of program dependences for reverse engineering

    Daniel Jackson;Eugene J. Rollins

  • Software for Dependable Systems: Sufficient Evidence?

    Daniel Jackson;Martyn Thomas

  • Elements of style: analyzing a software design feature with a counterexample detector

    Daniel Jackson;Craig A. Damon

  • A direct path to dependable software

    Daniel Jackson

  • Software analysis: a roadmap

    Daniel Jackson;Martin Rinard

  • Structuring Z specifications with views

    Daniel Jackson

  • Lightweight extraction of object models from bytecode

    Daniel Jackson;Allison Waingold

  • Modular verification of code with SAT

    Greg Dennis;Felix Sheng-Ho Chang;Daniel Jackson

  • Aspect: detecting bugs with abstract dependences

    Daniel Jackson

  • Software assurance by bounded exhaustive testing

    Kevin Sullivan;Jinlin Yang;David Coppit;Sarfraz Khurshid

  • Alloy: a language and tool for exploring software designs

    Daniel Jackson

Frequent Co-Authors

Sarfraz Khurshid
Sarfraz Khurshid The University of Texas at Austin
Jeannette M. Wing
Jeannette M. Wing Columbia University
Somesh Jha
Somesh Jha University of Wisconsin–Madison
Darko Marinov
Darko Marinov University of Illinois at Urbana-Champaign
Viktor Kuncak
Viktor Kuncak École Polytechnique Fédérale de Lausanne
Kevin Sullivan
Kevin Sullivan University of Virginia
Manu Sridharan
Manu Sridharan University of California, Riverside
Cliff B. Jones
Cliff B. Jones Newcastle University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring the world of computer science opens up a variety of education and career options. For students looking to save on tuition, cheap online college classes offer an affordable way to start or advance your studies. These courses provide valuable flexibility while helping you minimize student debt.

Not everyone begins their college journey with a high GPA. Luckily, there are best colleges for low gpa that admit students who may not have perfect academic records. This makes computer science and related degrees more accessible to a wider range of learners.

While computer science is a popular pathway, there are many fields that benefit from tech skills. For instance, combining your interests with interdisciplinary studies can open doors to unique opportunities, such as jobs with elementary education and environmental science degree.

If you’re eager to enter the workforce quickly, consider one of the fastest computer science degree options. These online programs are designed for efficiency, so you can earn your qualification sooner and kickstart your technology career.

Best Scientists Citing Daniel Jackson

Trending Scientists