Peter Aczel: Schools of Mathematics and Computer Science
I am Emeritus Professor of Mathematical Logic and Computing Science
in the schools of
Mathematics and
Computer Science
at the University of Manchester.
Research areas:
My research interests include the following areas:
- Philosophy and Foundations of Mathematics and Computing
- Computer Assisted Development of formal proofs
- Mathematical Logic
- Categorical Logic and Dependent Type Theory
- Constructive Mathematics, especially constructive general topology
- Variants of Classical Axiomatic Set Theory such as theories of
non-well-founded sets and constructive set theories.
Some Constructive Topology Web pages
Back to the
CS Formal Methods Home Page
Back to the
Mathematical Logic research page.
Back to the
mathematics homepage.
Back to the
computer science homepage.
Page last modified: October 29th, 2014