(Q7176171)

Statements

instance of

human

1 reference

imported from Wikimedia project

English Wikipedia

image

Peter O'Hearn.jpg
1,200 × 1,600; 515 KB

0 references

Peter O'Hearn Royal Society.jpg
576 × 864; 252 KB

0 references

sex or gender

male

0 references

given name

Peter

series ordinal

1

0 references

William

series ordinal

2

0 references

family name

O'Hearn

1 reference

based on heuristic

inferred from person's full name

date of birth

13 July 1963

1 reference

imported from Wikimedia project

English Wikipedia

place of birth

Halifax

1 reference

imported from Wikimedia project

English Wikipedia

occupation

computer scientist

0 references

engineer

0 references

field of work

programming language

1 reference

imported from Wikimedia project

English Wikipedia

Wikimedia import URL

https://en.wikipedia.org/w/index.php?title=Peter_O'Hearn&oldid=846527078

employer

Queen Mary University of London

0 references

Syracuse University

0 references

University College London

0 references

educated at

Queen's University

academic major

computer science

start time

1985

end time

1991

1 reference

stated in

LinkedIn

LinkedIn personal profile ID

peter-o-hearn-81471647

retrieved

23 December 2021

Dalhousie University

1 reference

retrieved

9 July 2019

inferred from

Category:Dalhousie University alumni

imported from Wikimedia project

French Wikipedia

English Wikipedia

doctoral advisor

Robert D. Tennent

1 reference

stated in

Mathematics Genealogy Project

doctoral student

Roger L. Norton

1 reference

stated in

Mathematics Genealogy Project

Paul Blain Levy

1 reference

stated in

Mathematics Genealogy Project

Cristiano Calcagno

1 reference

stated in

Mathematics Genealogy Project

Stephen Cooper

1 reference

stated in

Mathematics Genealogy Project

member of

Royal Society

point in time

2018

0 references

UK Computing Research Committee

1 reference

reference URL

https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/

influenced by

John C. Reynolds

1 reference

imported from Wikimedia project

English Wikipedia

Wikimedia import URL

https://en.wikipedia.org/w/index.php?title=Peter_O'Hearn&oldid=933495207

award received

Fellow of the Royal Society

point in time

2018

announcement date

9 May 2018

2 references

reference URL

https://royalsociety.org/people/peterohearn13830/

reference URL

https://royalsociety.org/news/2018/05/distinguished-scientists-elected-fellows-royal-society-2018/

retrieved

30 April 2022

Gödel Prize

point in time

2016

1 reference

reference URL

https://sigact.org/prizes/g%C3%B6del.html

Fellow of the Royal Academy of Engineering

0 references

official website

http://www0.cs.ucl.ac.uk/staff/p.ohearn/

0 references

http://iris.ucl.ac.uk/iris/browse/profile?upi=PWOHE10

0 references

Erdős number

3

0 references

Identifiers