- UniMath is the library of formalized mathematics for the proof assistant Coq that I am a co-founder and one of the main developers of. For a review of the Foundations part of the UniMath see my paper "An experimental library of formalized Mathematics based on the univalent foundations" (in the Publications section) and the three annotated Oxford lectures on the UniMath in the Lectures section.
- There is more stuff at my GitHub page.
- For a review of Univalent Foundations in French see the Bourbaki talk by Thierry Coquand
talk
paper
- A review article on the Univalent Foundations "Homotopy type theory and univalent foundations" by Alvaro Pelayo and Michael Warren.
- An interview given at the IHP in Paris in July 2014. Video.
See also Gazette des Mathématiciens - n°142, Octobre 2014
- An article in Scientific American blog
- Video on YouTube of an interview at NTU, Singapore, January 2013.
- Video of an interview in Thailand in August, 2015.
- Video of a panel during the 2015 Asian Science Camp in Thailand.
- Video of my lecture "How I became interested in foundations of mathematics" in August 2015 in Thailnad.
- An article in Nautilus by Siobhan Roberts about proof assistants and my work in particular.
- An article and a discussion about formalization and univalent foundation in Quanta Magazine.
- A discussion about univalent foundations on Michael Harris "Mathematics without apologies" blog.
- Interviews in Russian
- August, 22, 2002, Короткая заметка о Филдсовской премии (Петр Вайль), Радио Свобода.
- 2002-2006, "По большому Филдсовскому счету" (Ольга Орлова), ПОЛИТ.РУ
- 2002, "Наш ответ Нобелю" (Елена Новоселова), Российская_Газета.
- January-March, 2009, Серия интервью Ольге Орловой на Радио Свобода.
- Jnauary 2, 2009, Какие научные проблемы ученые смогут решить уже в ближайшее время?
- January, 7, 2009, Как развитие прикладной математики может изменить наши представления об истории?
- February, 21, 2009, Роль междисциплинарных исследований в развитии науки.
- February, 26, 2009, Будет ли эффект от государственных программ по привлечению российской научной диаспоры?
- March 2, 2009 Нано - новая жизнь или новые расходы?
- March 2, 2009 Научная диаспора не возврат, так аренда.
- May 5, 2011 "Веские основания. Новейшие математические теории наш соотечественник разрабатывает в Америке" (Светлана Беляева), Газета Поиск.
- July 2012. Два интервью Роману Михайлову:
- September 2015. Интервиью Светлане Беляевой из газеты Поиск