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 | View the thread
At the School of Computer Science at the University of Nottingham, we just opened applications for 10 fully funded PhD studentships. Please see here for details on joining us at the Functional Programming Lab: https://people.cs.nott.ac.uk/pszgmh/10-phds.html
=> More informations about this toot | View the thread
=> This profile with reblog | Go to buchholtz@mathstodon.xyz account This content has been proxied by September (ba2dc).Proxy Information
text/gemini