Professor Andrew William Roscoe
FREng
University of Oxford , as of 2026
Fellow , Elected 2011 , South East , Academia
Works at the University of Oxford on formal methods in verification and Petri nets in system modeling. Elected a Fellow of the Royal Academy of Engineering in 2011.
Summary generated from the sources below
Expertise
Links
Sources
- Identity
Confirmed (grade B) , the Academy’s directory lists them under University of Oxford, and a source names them there , RAEng directory , 11 Oct 2026 , OpenAlex , 30 Sep 2026
Why we think this is them
RAEng directory , 11 Oct 2026 , lists them under University of Oxford
OpenAlex , 30 Sep 2026 , names them at University of Oxford
RAEng citation , 30 Sep 2026 , announces their election in 2011
- Directory entry
RAEng directory , 30 Sep 2026 , read from the page , facts , high confidence
- Organisation
OpenAlex , 30 Sep 2026 , via API , CC0 , high confidence , as of 2026
RAEng citation , 30 Sep 2026 , read from the page , facts , high confidence , as of 2011
- Summary
OpenAlex , 30 Sep 2026 , extracted by a language model , facts , high confidence
RAEng directory , 11 Oct 2026 , extracted by a language model , facts , high confidence
RAEng citation , 30 Sep 2026 , extracted by a language model , facts , high confidence