G. Mike Reed
G. Mike Reed | |
|---|---|
| Born | |
| Citizenship | United States |
| Education | Auburn University; University of Oxford |
| Known for | Communicating Sequential Processes |
| Scientific career | |
| Fields | Mathematics, computer science |
| Workplaces | University of Oxford; UNU-IIST |
| Ben Fitzpatrick Jr.; Bill Roscoe[1] | |
Doctoral students | Steve Schneider[1] |
George Michael 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. 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
- 1 2 3 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
Categories:
- 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