fellows.directory

Professor Anthony George Cohn

FREng FLSW

Professor of Automated Reasoning, University of Leeds , as of 2026

Fellow , Elected 2015 , South East , Academia

Listed by the Academy’s directory under Alan Turing Institute

Anthony G. Cohn is a British computer scientist who is Professor of Automated Reasoning at the University of Leeds.

Adapted from Wikipedia, CC BY-SA 4.0

Expertise

Sources

Identity

Confirmed (grade B) , the Academy’s directory lists them under University of Leeds, and a source names them there , RAEng directory , 11 Oct 2026 , OpenAlex , 30 Sep 2026

Why we think this is them
  • Wikidata , 30 Sep 2026 , records them as a Fellow of the Academy

  • RAEng directory , 11 Oct 2026 , lists them under University of Leeds

  • OpenAlex , 30 Sep 2026 , names them at University of Leeds

  • RAEng citation , 30 Sep 2026 , announces their election in 2015

How identities are checked

Directory entry, Listed under

RAEng directory , 30 Sep 2026 , read from the page , facts , high confidence

Role

en.wikipedia.org , 11 Oct 2026 , extracted by a language model , CC BY-SA 4.0 , high confidence

RAEng citation , 30 Sep 2026 , read from the page , facts , high confidence , as of 2015

Organisation

OpenAlex , 30 Sep 2026 , via API , CC0 , high confidence , as of 2026

en.wikipedia.org , 11 Oct 2026 , extracted by a language model , CC BY-SA 4.0 , high confidence

RAEng citation , 30 Sep 2026 , read from the page , facts , high confidence , as of 2015

Wikidata , 30 Sep 2026 , via API , CC0 , high confidence

Sector

OpenAlex , 30 Sep 2026 , via API , CC0 , high confidence , as of 2026

Summary

Wikipedia , 30 Sep 2026 , via API , CC BY-SA 4.0 , medium confidence

Topics

OpenAlex , 30 Sep 2026 , via API , CC0 , high confidence

en.wikipedia.org , 11 Oct 2026 , extracted by a language model , CC BY-SA 4.0 , low confidence

Links

Wikipedia: en.wikipedia.org , 11 Oct 2026 , extracted by a language model , CC BY-SA 4.0 , high confidence

Wikipedia, ORCID: Wikidata , 30 Sep 2026 , via API , CC0 , high confidence

ORCID: OpenAlex , 30 Sep 2026 , via API , CC0 , high confidence

Google Scholar, Wikidata: Wikidata , 30 Sep 2026 , via API , CC0 , medium confidence

OpenAlex: OpenAlex , 30 Sep 2026 , via API , CC0 , medium confidence

Suggest a correction