I was very sorry to hear yesterday of the announcement from the IAS of the untimely death of Vladimir Voevodsky, at the age of 51. Last year I had the chance to meet Voevodsky and talk with him for a while at the Heidelberg Leader’s Forum (which I wrote about here). He was a gracious and modest person, and it was fascinating to learn a bit about what he was trying to do, and his earlier experiences doing mathematics that had led him down this path. There was no indication at that time that he was ill, and I don’t know what led to his death.
Back in 2012 I wrote a blog post about him and his work, linking to various things that may be of interest if you’d like to know more about him. Among more recent sources of information, there’s a video interview here, a popular article here, lecture slides here, here and here, and a piece by Siobhan Roberts which covers some of the same topics that Voevodsky told me about when I met him last year.
Update: See here for remembrances of Voevodsky on the HoTT mailing list.
Update: There will be a gathering at the IAS to remember Voevodsky this Sunday, a funeral service and conference in Moscow December 27-28, and a conference in Princeton September 29-30, 2018. More information available here.
Update: A longer obituary of Voevodsky, from the IAS.
Update: The New York Times has an obituary here. Video of the IAS gathering is available here. Especially informative and touching is the talk given there by his ex-wife Nadia Shalaby, who gave a detailed look at his life, mathematical and personal, including a frank discussion of his problems with mental illness, depression and sometimes self-destructive ways of dealing with this. Also see this story at Quanta, where Shalaby gives the cause of his death as an aneurysm.