Peter Aczel: Departments of Mathematics and Computer Science
I am Professor of Mathematical Logic and Computing Science and
hold a joint appointment in the departments of Computer Science and
Mathematics at the University of Manchester.
Research areas:
My research interests include the following areas:
- Mathematical Tools for the Semantics of
natural and formal languages
- Philosophy and Foundations of Mathematics and Computing
- Mathematical Models of Concurrent Processes
- 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.
Teaching: 2003-2004
- CS2121 The Implementation and Power of programming Languages
- MT4592/5592 Types for Programs and Proofs
- CS6121 Automated Reasoning
The web page for the first course may be found at
CS2121 web page.
The second course is run at both the 4th year undergraduate level
and at the MSc level.
See
Math Logic syllabuses. For references for that course see
Types resources .
For the syllabus for the third course see
CS6121 syllabus.
For my Logic MSc projects see
Logic Projects
Some Constructive Topology Web pages
Back to the
CS Formal Methods Home Page
Back to the
Logic research page.
Back to the
Logic Group homepage.
Back to the
mathematics department homepage.
Page last modified: July 8th, 2003
