Peter Aczel: Schools of Mathematics and Computer Science

The School of Computer Science
University of Manchester
Manchester, M13 9PL, UK
Phone : +44 0161 275 6155
Fax : +44 0161 275 6204

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:

List of all Publications

Research, Some Publications etc

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