Peter Aczel

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
Peter Aczel
File:Aczel Rathjen.jpg
Peter Aczel (left) with Michael Rathjen, Oberwolfach 2004
Born Peter Henry George Aczel
1941 (age 82–83)
Institutions <templatestyles src="Plainlist/styles.css"/>
Alma mater University of Oxford
Thesis Mathematical problems in logic (1967)
Doctoral advisor John Newsome Crossley
Doctoral students <templatestyles src="Plainlist/styles.css"/>
  • Joao Filipe Castel-Branco Belo[1]
  • Christopher Martin Fox[2]
  • Nicola Gambino[3]
  • Gilles Jacques Barthe[4]
  • George Koletsos[5]
  • Jouko Antero Väänänen[6]
Website
www.cs.man.ac.uk/~petera/

Peter Henry George Aczel is a British mathematician, logician and Emeritus joint Professor in the School of Computer Science and the School of Mathematics at the University of Manchester.[7] He is known for his work in non-well-founded set theory,[8] constructive set theory,[9][10] and Frege structures.[11][12][13]

Education

Aczel completed his Bachelor of Arts in Mathematics in 1963[14] followed by a DPhil at the University of Oxford in 1966 under the supervision of John Crossley.[7][15]

Career and Research

After two years of visiting positions at the University of Wisconsin–Madison and Rutgers University Aczel took a position at the University of Manchester. He has also held visiting positions at the University of Oslo, California Institute of Technology, Utrecht University, Stanford University and Indiana University Bloomington.[14] He was a visiting scholar at the Institute for Advanced Study in 2012.[16]

Aczel is on the editorial board of the Notre Dame Journal of Formal Logic[17] and the Cambridge Tracts in Theoretical Computer Science, having previously served on the editorial boards of the Journal of Symbolic Logic and the Annals of Pure and Applied Logic.[14][18]

References

  1. ↑ Lua error in package.lua at line 80: module 'strict' not found.[dead link]
  2. ↑ Lua error in package.lua at line 80: module 'strict' not found.[dead link]
  3. ↑ Lua error in package.lua at line 80: module 'strict' not found.[dead link]
  4. ↑ Lua error in package.lua at line 80: module 'strict' not found.[dead link]
  5. ↑ Lua error in package.lua at line 80: module 'strict' not found.[dead link]
  6. ↑ Lua error in package.lua at line 80: module 'strict' not found.[dead link]
  7. ↑ 7.0 7.1 Peter Aczel at the Mathematics Genealogy Project
  8. ↑ http://plato.stanford.edu/entries/nonwellfounded-set-theory/index.html
  9. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  10. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  11. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  12. ↑ http://scholar.google.com/scholar?q=peter+aczel Peter Aczel publications in Google Scholar
  13. ↑ Peter Aczel's publications indexed by the DBLP Bibliography Server at the University of Trier
  14. ↑ 14.0 14.1 14.2 http://www.manchester.ac.uk/research/Peter.Aczel/ Peter Aczel page the University of Manchester
  15. ↑ Lua error in package.lua at line 80: module 'strict' not found.(subscription required)
  16. ↑ Institute for Advanced Study: A Community of Scholars
  17. ↑ http://ndjfl.nd.edu/ Notre Dame Journal of Formal Logic
  18. ↑ http://www.journals.elsevier.com/annals-of-pure-and-applied-logic/ Annals of Pure and Applied Logic
Retrieved from "https://infogalactic.com/w/index.php?title=Peter_Aczel&oldid=1092371"