Tim Kelly

Safety-case researcher who formalized Goal Structuring Notation (GSN) into a systematic method in his 1998 D.Phil thesis Arguing Safety, Department of Computer Science, University of York, and later a lead contributor to the 2011 GSN Community Standard. Matters to this vault as the primary author whose own words settle, and complicate, the claim that Toulmin's 1958 argument model underlies GSN: Kelly discusses Toulmin's notation directly in his thesis, credits it as a conceptual influence, and explicitly judges it too generic for the safety domain — the reasoning that produced GSN's own, independently-invented vocabulary (Goal, Strategy, Solution, Justification, Context).

Not to be confused with entity-megan-o-kelly, a different Kelly already in this vault under the same surname (co-author of the 2025 ODNI probability-confidence paper).

References

• claim-toulmin-1958-argument-model-underlies-gsn-safety-cases
• claim-gsn-originated-asam-ii-project-york-early-1990s