G. Mike Reed
G. Mike Reed | |
---|---|
Born | |
Nationality | American |
Citizenship | United States |
Alma mater | Auburn University; University of Oxford |
Known for | Communicating Sequential Processes |
Scientific career | |
Fields | Mathematics, computer science |
Institutions | University of Oxford; UNU-IIST |
Doctoral advisor | Ben Fitzpatrick Jr.; Bill Roscoe[1] |
Doctoral students | Steve Schneider[1] |
George Michael ("Mike") Reed is an American computer scientist. He has contributed to theoretical computer science in general and CSP in particular.
Mike Reed has a doctorate in pure mathematics from Auburn University, United States, and a doctorate in computation from Oxford University, England.[1] He has an interest in mathematical topology.
Reed was a Senior Research Associate at NASA Goddard Space Flight Center.[citation needed] From 1986 to 2005, he was at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) in England where he was also a Fellow in Computation of St Edmund Hall, Oxford (1986–2005).[2] In 2005, he became Director of UNU/IIST, Macau, part of the United Nations University.[3]
References
[edit]- ^ a b c G. Mike Reed at the Mathematics Genealogy Project
- ^ "Emeritus Fellows". UK: St Edmund Hall, Oxford. Retrieved 10 December 2016.
- ^ "Mike Reed appointed director of software institute". UNU Update. Vol. 37. United Nations University. May–June 2005. Archived from the original on 2005-10-26.
External links
[edit]- G. Mike Reed publications indexed by Microsoft Academic
- G. Mike Reed at the Mathematics Genealogy Project
- Living people
- Auburn University alumni
- Alumni of the University of Oxford
- Members of the Department of Computer Science, University of Oxford
- Fellows of St Edmund Hall, Oxford
- Academic staff of United Nations University
- American computer scientists
- Formal methods people
- American topologists
- 20th-century American mathematicians
- 21st-century American mathematicians
- American computer specialist stubs