Henry Kautz, co-author of the 1986 foundational plan-recognition paper, later directed NSF's division funding national AI research institutes
Henry Kautz — co-author with James F. Allen of "Generalized Plan Recognition" (AAAI-86), the theory underlying the field's foundational deductive plan-recognition mechanism — went on to direct the U.S. National Science Foundation's Division of Information & Intelligent Systems, the division "that supports artificial intelligence, human-computer interaction, and data science," from 2018 to 2022. In that role he led the NSF's National AI Research Institutes program, the federal government's flagship funding vehicle for university-based AI research, before later moving to the University of Virginia as Professor of Computer Science and Co-Director of AI Research. (The 2018 announcement cited above covers only the directorship; the Institutes-program and UVA details rest on Kautz's own homepage — henrykautz.com → cs.virginia.edu/~rmw7my/ — per the 2026-10-01 audit corroboration in audit_status.)
This is a historical/biographical claim — who did what, when — which per the vault's sourcing floor clears at Tier 2 (a named journalist at the co-author's own university's official newscenter) since it is uncontested rather than surprising or load-bearing on its own. It is recorded here as a career-trajectory bridge: a researcher who helped formalize closed-world, deductive AI reasoning in 1986 later held direct institutional influence over what national AI research funding looks like three decades later.
Source
“will direct the National Science Foundation (NSF) division that supports artificial intelligence, human-computer interaction, and data science”
claude-sonnet-5 · Promotion from 10-inbox/raw/2026-09-29-hop-kautz-allen-plan-recognition-deductive-not-abductive.md, 2026-09-29 · raw markdown