From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10733 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Jason Parker Newsgroups: gmane.science.mathematics.categories Subject: Re: Pieter Hofstra Date: Wed, 4 May 2022 12:49:08 -0500 Message-ID: Reply-To: Jason Parker Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="3270"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Thu May 05 02:31:39 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1nmPP9-0000jF-Af for gsmc-categories@m.gmane-mx.org; Thu, 05 May 2022 02:31:39 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:59028) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1nmPOF-0005yc-LN; Wed, 04 May 2022 21:30:43 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1nmPNt-0008Cc-LH for categories-list@rr.mta.ca; Wed, 04 May 2022 21:30:21 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10733 Archived-At: I am deeply saddened by Pieter's passing. Pieter was one of my PhD advisors (along with Philip Scott) at the University of Ottawa from 2015-2020. I was also a TA for some of his classes on a few occasions. He was always very kind, respectful, and generous with his time and energy, and he was an insightful and encouraging teacher, mentor, and advisor. He had an immense impact on my development both as a mathematician and as a person. He will be deeply missed. I also send my condolences to his family, friends, and colleagues. -Jason Parker On Tue, May 3, 2022 at 2:46 PM Philip Scott wrote: > It is with great sadness that we announce that our dear friend and > colleague Pieter Hofstra (1975-2022) passed away unexpectedly on May 1. > Pieter obtained his PhD from Utrecht University, under Jaap van Oosten, > studying realizability toposes. His research interests included general > topos theory, realizability, inverse semigroups and groupoids, abstract > computability, and homotopy type theory. Among his recent works, with J. > Funk he introduced the notion of isotropy groups of toposes, which he was > actively developing with students and colleagues. > > While Pieter was a brilliant researcher, a kind teacher and a caring > supervisor, we will most remember him as a friend. When we have any > details for a memorial service, we will pass them along. > > Richard Blute, Simon Henry, Philip Scott (University of Ottawa) > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]