---
title: "Tim Kelly"
type: "entity"
entity_kind: "person"
status: "hub"
canonical_name: "Tim Kelly"
aliases: ["Timothy Patrick Kelly","T. P. Kelly"]
first_seen: "2026-09-03T00:00:00.000Z"
connects_to: ["Goal Structuring Notation (GSN)","safety-case","Stephen Toulmin","University of York","argumentation theory"]
writer_model: "claude-sonnet-5"
seek_code_commit: "290e6f6"
---


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]]