Oh no, Thomas Streicher, who was a great friend and mentor to me, passed way yesterday. Thomas was always very supportive (though often skeptical in a mentoring way), and brought me to Darmstadt, where I spent six wonderful years. He’s known for finding, with the also late Martin Hofmann, the groupoid model of Martin-Löf type theory. He saw it as a nonstandard model, but it paved the way for homotopy type theory and univalent mathematics. I will miss him dearly!
=> More informations about this toot | More toots from buchholtz@mathstodon.xyz
@buchholtz Oh no, this is such sad news... 😭 One of my first research experiences as a student was with Thomas some years ago, I remember going through a difficult period of my life and being very unconfident as a young scientist, and Thomas would always be so nice, welcoming and supportive, in a very simple and friendly way. I learned much math with him, but maybe even more importantly that science is also a matter of being well and having good time with nice colleagues. After these months in Darmstadt I was always so happy to exchange a few words or emails with him from time to time. I will miss him. 😢
=> More informations about this toot | More toots from trondelair@sciences.re
text/geminiThis content has been proxied by September (3851b).