[TYPES] Peter Aczel

[amp12]

I was very saddened to read the news of Peter Aczel's death. 

I greatly admired his work, not only for its content but also for its clarity. His promotion of informal rigorous reasoning in type theory that Andrej Bauer mentioned in another post is an example. He also had very nice handwriting! -- I found this out
when he very generously shared some of his unpublished work with me when I was a graduate student in the late 70s and early 80s. (He later examined my PhD thesis.)

RIP, Peter.

Andrew M. Pitts
Professor of Theoretical Computer Science
Department of Computer Science and Technology
University of Cambridge 
William Gates Building 
15 JJ Thomson Ave
Cambridge CB3 0FD, UK


> On 3 Aug 2023, at 08:42, Nicola Gambino <Nicola.Gambino at manchester.ac.uk> wrote:
> 
> Dear colleagues and friends,
> 
> I write to let you know of the sad news that Peter Aczel passed away on August 1st.
> 
> As readers of this list surely know, Peter made many fundamental and deeply influential contributions to Logic, Computer Science, Category Theory, and Constructive Mathematics. 
> 
> I had the good fortune of having him as PhD supervisor and we remained in contact since then. I always admired his clarity of thinking and his kindness. He will be deeply missed.
> 
> With best regards,
> Nicola
> 
> =
> Dr Nicola Gambino
> Department of Mathematics, University of Manchester
> 
> -- 
> You received this message because you are subscribed to the Google Groups "constructivenews" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to constructivenews+unsubscribe at googlegroups.com.
> To view this discussion on the web visit https://urldefense.com/v3/__https://groups.google.com/d/msgid/constructivenews/BFC2ADB3-657A-4207-9C09-227967D58A36*40manchester.ac.uk__;JQ!!IBzWLUs!VLcqPzrfXRjaUvseN_NxxLwFuOf5p3vcr4MIXalbv_mIMHrku_TlvTxydN6xYr8qYet5TWXWRtw3QX2ODBfuA-IRb4h1putMWV0W_Kk$ .