The first and only time I met Thomas was in September 2019 at the Workshop on Continuity, Computability, Constructivity (CCC) in Ljubljana. I was only a first-year PhD student and earlier that year at TYPES I had felt a little out of place at times, but Thomas immediately made me feel very comfortable and it was very fun to talk with him. We made some tentative plans for me to visit him, but unfortunately, and partly because of the pandemic, I never followed up on these plans. We are fortunate that Thomas has left us with great expository notes on categorical logic, and realizability, as well as his book on domain-theoretic semantics of functional programming, all of which I have found very useful. My condolences to his friends and family, Tom On 03/01/2025 13:53, Jon Sterling wrote:
I am so sad to hear this tragic news about Thomas. Thomas was very kind and encouraging to me over the years, and made me feel welcome in this community; I imagine he had this impact on many other young people finding their way. In addition to his momentous scientific contributions that I owe my career to, Thomas was also a great conservator of important knowledge that might otherwise have been lost had he not intervened.
Sincerely, Jon
On Fri, Jan 3, 2025, at 12:09 PM, Neil Ghani wrote:
I'm so gutted. Thomas was an exceptional category theorist but also an exceptional human being. He had a brilliant sense of humour and we loved laughing about the oddities of mathematics.
A terrible start to 2025.
Neil
Sent from Outlook for iOS
domain=aka.ms Z0QTCmO5wZsjPQMPNhQtWSR3MPW?domain=aka.ms>>
*From:* Oosten, J. van (Jaap) <J.vanOosten@uu.nl> *Sent:* Friday, January 3, 2025 11:47 am *To:* categories@mq.edu.au <categories@mq.edu.au> *Cc:* Oosten, J. van (Jaap) <J.vanOosten@uu.nl> *Subject:* Thomas Streicher
I just received information that Thomas Streicher passed away yesterday.
Thomas fell ill last September, when he could not attend Pino Rosolini's retirement party due to pneumonia; then it turned out he has metastases in the lungs from a pancreatic cancer. After several chemo treatments his situation suddenly worsened, and yesterday he died, peacefully, without pain. Thomas was 66 years old.
In Thomas, we mourn a logician and category theorist of exceptional calibre. Let me just recall that in 2011, during an Oberwolfach meeting, Vladimir Voevodsky praised Thomas' work on type theory as a paradigm of precision.
But I personally mourn a friend. A warm person with many interests.
I wish strength to his wife Eva, and his family.
Jaap van Oosten
You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>