---
title: "Ann Hardy founded Key Logic and is a named co-author of KeyKOS's own architecture paper"
type: "claim"
status: "seedling"
audit_status: "capture-verified (both sources direct-fetched with sha receipts at capture time, 2026-10-30 batch session; queen's independent re-check not yet run)"
source_url: "https://css.csail.mit.edu/6.566/2009/readings/keykos.pdf"
source_sha: "5a2bb417a332756cd929ed421d15125f083bbe9c8cc9807a549f484bfd99dd9c"
source_title: "The KeyKOS® Nanokernel Architecture"
source_author: "Alan C. Bomberger, Norman Hardy, A. Peri Frantz, Charles R. Landau, William S. Frantz, Jonathan S. Shapiro, Ann C. Hardy"
source_date: "1992-04"
source_venue: "Proceedings of the USENIX Workshop on Micro-Kernels and Other Kernel Architectures, USENIX Association, April 1992, pp. 95–112 (read via an MIT 6.566 course mirror; no live usenix.org host of this specific 1992 paper was found this session)"
source_quote: "Alan C. Bomberger                        Norman Hardy\n                           A. Peri Frantz                        Charles R. Landau\n                          William S. Frantz                     Jonathan S. Shapiro\n                           Ann C. Hardy"
source_tier: 1
source_url_2: "https://archive.computerhistory.org/resources/access/text/2017/06/102717169-05-01-acc.pdf"
source_sha_2: "b98c9473ee352720504cf938f74342d6afcfa8f20866285c62e08126ffdd18f3"
source_title_2: "Oral History of Ann Hardy"
source_author_2: "Ann Hardy, interviewed by David C. Brock, Marc Weber, and Hansen Hsu"
source_date_2: "2016-07-22"
source_venue_2: "Computer History Museum, CHM Reference X7849.2017"
source_quote_2: "Gnosis was ours. Tymshare's. We ran it on our 370s for people who wanted straight CMS. And so we could offer them very high levels of security."
source_quote_3: "But it was more ours than the 940 operating system was ours or, you know, it was just ours. We wrote it from the ground up. That was it."
source_tier_2: 1
independent_roots: 2
provenance: "Promotion from 10-inbox/raw/2026-10-30-who-was-ann-hardy-what-did-she-actually.md, 2026-10-30"
origin: "batch"
derived_from: "10-inbox/raw/2026-10-30-who-was-ann-hardy-what-did-she-actually.md"
date_created: "2026-10-30T00:00:00.000Z"
writer_model: "claude-sonnet-5"
tags: ["ann-hardy","keykos","gnosis","key-logic","tymshare","computer-history","credit-misattribution","capability-based-security"]
seek_code_commit: "d40ee39"
quote_sweep: "FAIL 2026-10-31 — source_quote_3 NOT found in the capture-time archive (sha256 5a2bb417a332…) — the quote does not match the bytes read at capture; repair before promotion"
verified_verbatim: "2026-10-31 — source_quote matched verbatim (normalized) against a direct fetch of source_url by seek_verify (no model involved)"
---


After McDonnell Douglas acquired Tymshare (1984–85), Ann Hardy founded Key
Logic, Inc., with funding from Gene Amdahl, to commercialize Tymshare's
in-house capability-based operating system GNOSIS under the new name
[[entity-keykos|KeyKOS]]. In her 2016 Computer History Museum oral history
she describes GNOSIS/KeyKOS as built entirely in-house at Tymshare, drawing
a contrast with the externally-derived SDS-940 operating system covered in
[[claim-ann-hardy-tymshare-os-miscredited-to-husband]]: "Gnosis was ours.
Tymshare's. We ran it on our 370s for people who wanted straight CMS. And so
we could offer them very high levels of security." Of the two systems, she
says GNOSIS was the more fully her own: "it was more ours than the 940
operating system was ours or, you know, it was just ours. We wrote it from
the ground up."

Separately and more directly, the system's own foundational technical
paper — "The KeyKOS® Nanokernel Architecture" (USENIX Workshop on
Micro-Kernels and Other Kernel Architectures, April 1992, pp. 95–112) —
lists seven authors in its byline: Alan C. Bomberger,
[[entity-norman-hardy|Norman Hardy]], A. Peri Frantz, Charles R. Landau,
William S. Frantz, Jonathan S. Shapiro, and Ann C. Hardy. Ann Hardy is a
named co-author of KeyKOS's own architecture document — a credit that holds
independent of her oral-history testimony and independent of Norman Hardy's
own corroboration of her separate Tymshare-OS work in
[[claim-norman-hardy-tymnet-account-confirms-ann-hardy-wrote-os]].

This is a different layer of the Hardy/Tymshare story than the SDS-940
case. There, the vault's existing claim is that colleagues failed to credit
work she alone did. Here, her credit is already on the record, in the
system's own primary paper, at the time it was written — the open question,
taken up in a companion claim, is whether that documented credit survives
into the tertiary sources most readers now encounter.

> [!note] Seek's commentary: Two different registers of "ours" in one
> transcript, four sentences apart — collective ("Gnosis was ours.
> Tymshare's.") and then comparative-possessive ("more ours than the 940
> operating system was ours"), as if she's measuring degrees of authorship
> on a system that, unlike the 940 work, nobody disputes was hers in the
> first place. The byline backs her up before she even has to say it. Worth
> sitting with why the comfortable case — the one with no misattribution to
> correct — still needed a paper trail at all, while the contested case
> didn't have one until decades later. — Seek