a person in the record
Daniel Jackson
American computer scientistborn 1963
Supervised 7 doctoral students (52 students at any level) at Massachusetts Institute of Technology; Wikidata names John Guttag as doctoral advisor and lists 3 doctoral students. Linked to Wikidata, Mathematics Genealogy Project, and 7 other registers.
_01.jpg)
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students52
- cited by a thesis record
Jennifer M. Lawrence“Design Rules for LLM-Generated Code: A RealWorld Case Study”
2025 · Massachusetts Institute of Technology · master's - cited by a thesis record
- cited by a thesis record
Diana Nguyen Voronin“Development and Evaluation of an LLM-Based Tool for Automatically Building Web Applications”
2024 · Massachusetts Institute of Technology · master's - cited by a thesis record
Geoffrey Litt“Building Personal Software with Reactive Databases”
2023 · Massachusetts Institute of Technology · doctoral - cited by a thesis record
Evan Caragay“Broken Expectations, Broken Concepts: A New Diagnosis of Dark Patterns”
2023 · Massachusetts Institute of Technology · master's - cited by a thesis record
Tommy Seng Heng“Bridging the Gap: Designing Accessible Industrial Robotics UIs for Non-Technical Users with Concept Design”
2023 · Massachusetts Institute of Technology · master's - cited by a thesis record
Katherine Xiong“A Concept-based Analysis of Dark Patterns in User Interface Design”
2023 · Massachusetts Institute of Technology · master's - cited by a thesis record
Jeff Chow“Certified Control in autonomous vehicles with visual lane finding and LiDAR”
2021 · Massachusetts Institute of Technology · master's - cited by a thesis record
Kapaya Katongo“Joker: A Unified Interaction Model For Web Customization”
2021 · Massachusetts Institute of Technology · master's - cited by a thesis record
Arman Talkar“Flow: a microservice architecture for achieving confidence in the compatibility of deployed microservices”
2021 · Massachusetts Institute of Technology · master's - cited by a thesis record2020 · Massachusetts Institute of Technology · master's
- cited by a thesis record
Santiago Perez De Rosso“Declarative assembly of web applications from predefined concepts”
2020 · Massachusetts Institute of Technology · doctoral - cited by a thesis record
Valerie Richmond“"Certified Control" safety architecture for autonomous vehicles : applications with LiDAR”
2020 · Massachusetts Institute of Technology · master's - cited by a thesis record
Maryam Archie“Creating a cliché library for social applications”
2019 · Massachusetts Institute of Technology · master's - cited by a thesis record
Martin Jouvenot“Structural complexity in service-oriented systems and its effects on system evolution and performance : a multi-cases study”
2019 · Massachusetts Institute of Technology · master's - cited by a thesis record
Barry A. III McNamara“A graphical environment for Déjà Vu app development”
2019 · Massachusetts Institute of Technology · master's - cited by a thesis record2019 · Massachusetts Institute of Technology · master's
- cited by a thesis record
Sze Nga Wong“Topiary : re-designing end-to-end web application development”
2019 · Massachusetts Institute of Technology · master's - cited by a thesis record
Jodie Lian Chen“Chorus : end user programming of social applications”
2017 · Massachusetts Institute of Technology · master's - cited by a thesis record
Alexander Chumbley“Snapstore : a version control system for everyone”
2016 · Massachusetts Institute of Technology · master's - cited by a thesis record
Eunsuk Kang“Multi-representational security modeling and analysis”
2016 · Massachusetts Institute of Technology · doctoral - cited by a thesis record
Richard Matthew McCutchen“Object Spreadsheets : an end-user development tool for web applications backed by entity-relationship data”
2016 · Massachusetts Institute of Technology · master's - cited by a thesis record
Joseph P. Near“An imperative extension to alloy and a compiler for its execution”
2010 · Massachusetts Institute of Technology · master's - cited by a thesis record2010 · Massachusetts Institute of Technology · doctoral
- cited by a thesis record
Zev Benjamin“Runtime verification of object lifetime specifications”
2009 · Massachusetts Institute of Technology · master's - cited by a thesis record
Felix Sheng-Ho Chang“Generation of policy-rich websites from declarative models”
2009 · Massachusetts Institute of Technology · doctoral - cited by a thesis record
Robert Morrison Seater“Building dependability arguments for software intensive systems”
2009 · Massachusetts Institute of Technology · doctoral - cited by a thesis record
Emina Torlak“A constraint solver for software engineering : finding models and cores of large relational specifications”
2009 · Massachusetts Institute of Technology · doctoral - cited by a thesis record
Vincent S. Yeung“Declarative configuration applied to course scheduling”
2006 · Massachusetts Institute of Technology · master's - cited by a thesis record
Basel Y Al-Naffouri“MintEra : a testing environment for Java programs”
2004 · Massachusetts Institute of Technology · master's - cited by a thesis record
Samuel Isaac Daitch“Translating alloy using Boolean circuits”
2004 · Massachusetts Institute of Technology · master's - cited by a thesis record
Roshan Gupta“The design and implementation of FIG : a record/playback mechanism for ETMS feeds”
2003 · Massachusetts Institute of Technology · master's - cited by a thesis record
Mana Taghdiri“Lightweight modelling and automatic analysis of multicast key management schemes”
2003 · Massachusetts Institute of Technology · master's - cited by a thesis record
Likuo Lin“Visualization framework for software design analysis”
2002 · Massachusetts Institute of Technology · master's - cited by a thesis record
Tina Ann Nolte“Exploring filesystem synchronization with lightweight modeling and analysis”
2002 · Massachusetts Institute of Technology · master's - cited by a thesis record
Jesse Pavel“Synchronizing trees and text in a software model analyzer”
2002 · Massachusetts Institute of Technology · master's - cited by a thesis record
Uriel Schafer“Avalanche : a framework for parallel and distributed computation”
2002 · Massachusetts Institute of Technology · master's - cited by a thesis record
Jonathan Newcomb Swirsky Whitney“Description and analysis of central registry, a pattern for modular implicit invocation”
2002 · Massachusetts Institute of Technology · master's - cited by a thesis record
Daniel Kokotov“PSolver : a distributed SAT solver framework”
2001 · Massachusetts Institute of Technology · master's - cited by a thesis record
Bryan Che“Automating component-based testing from UML models”
2000 · Massachusetts Institute of Technology · bachelor's - cited by a thesis record2000 · Massachusetts Institute of Technology · master's
- cited by a thesis record
Sarfraz Khurshid“Exploring the design of an intentional naming scheme with an automatic constraint analyzer”
2000 · Massachusetts Institute of Technology · master's - cited by a thesis record
Jonathan Ken Lie“Correlation of data in the unified modeling language interaction diagram”
2000 · Massachusetts Institute of Technology · master's - cited by a thesis record
Ian R. Schechter“A static analysis to detect coupling and conflicts in declarative specifications”
2000 · Massachusetts Institute of Technology · bachelor's - cited by a thesis record
T. Benjamin Self“Expression and localization of object invariants”
2000 · Massachusetts Institute of Technology · bachelor's - cited by a thesis record
David C. Zhang“Collaborative Arrival Planner : its design and analysis using object modelling”
2000 · Massachusetts Institute of Technology · bachelor's - cited by a thesis record
Darren Bronson“Best practices for evolutionary software development”
1999 · Massachusetts Institute of Technology · master's - cited by a thesis record
Joseph B. Irineo“An object-oriented, maximum-likelihood parameter estimation program for GARCH(p,q)”
1999 · Massachusetts Institute of Technology · master's - cited by a thesis record
Sabra-Anne R. Kelin“Digital persona : a gateway to personal information”
1999 · Massachusetts Institute of Technology · master's - cited by a thesis record1999 · Massachusetts Institute of Technology · bachelor's
- cited by a thesis record
David H. Wong“Finite state analysis with tools for network protocols”
1999 · Massachusetts Institute of Technology · bachelor's - cited by a thesis record
Yu Sui“Reliability improvement and assessment of safety critical software”
1998 · Massachusetts Institute of Technology · master's
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata3
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1972
- stated by Wikidataborn 1979
- stated by Wikidata
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataJohn Guttag
- 2 steps up
stated by WikidataJim Horning
- 3 steps up
stated by WikidataJerome A. Feldman
- 4 steps up
stated by WikidataAlan Perlis
Below them, within 3 steps, the record reaches 12 people: 7 cited by thesis records, 5 stated by Wikidata.
Education and career4
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
- undated
- undated
- undated