Sneha Girap (Editor)

Peter Aczel

Updated on
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Covid-19
Alma mater  University of Oxford
Books  Non-well-founded sets
Education  University of Oxford
Name  Peter Aczel

Peter Aczel
Born  Peter Henry George Aczel 1941 (age 73–74)
Institutions  University of Oxford University of Wisconsin–Madison Rutgers University University of Manchester University of Oslo Caltech Utrecht University Stanford University Institute for Advanced Study Indiana University Bloomington
Thesis  Mathematical problems in logic (1967)
Doctoral students  Joao Filipe Castel-Branco Belo Christopher Martin Fox Nicola Gambino Gilles Jacques Barthe George Koletsos Jouko Antero Vaananen

Doctoral advisor  John Newsome Crossley

Peter Aczel


Peter Henry George Aczel (; born October 31, 1941) 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. He is known for his work in non-well-founded set theory, constructive set theory, and Frege structures.

Contents

Education

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

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. He was a visiting scholar at the Institute for Advanced Study in 2012.

Aczel is on the editorial board of the Notre Dame Journal of Formal Logic 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.

References

Peter Aczel Wikipedia


Similar Topics
Theres Gonna Be a God Damn Riot in Here
Miquel Calçada
Ron Coder
Topics
 
B
i
Link
H2
L