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
Email: petera@cs.man.ac.uk

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