Peter Aczel
Peter Henry George Aczel 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 nonwellfounded set theory, constructive set theory, and Frege structures.
NA
Source: Wikipedia