"One can imagine a not-too-distant future when it will be possible for mathematicians to verify the correctness of their own papers by working within the system of univalent foundations, formalized in a proof assistant, and that doing so will become as natural as typesetting their own papers in TEX. In principle, this could be equally true for any other foundational system, but we believe it to be more practically attainable using univalent foundations, as witnessed by the present work and its formal counterpart."
- Otto von Guericke University of MagdeburgJProf, 2013 - present
- TU Munichpost doc, 2013 - present
- MSRIpost doc, 2012 - 2012
- EPDIMath post doc, 2010 - 2012
- Max Planck Institute for Mathematics in the SciencesPhD student, 2006 - 2010
+49 391 6711440
JuiceDefender - battery saver - Apps on Android Market
Reclaim your battery! Save power and extend battery life with JuiceDefender *** Over 7,000,000 Downloads! *** JuiceDefender - Battery Saver
SomaFM: Listener Supported, Commercial Free Internet Radio
Independent, free internet radio with no commercials. 18 unique channels featuring underground electronica, chillout, ambient groove, downte
Brilliantly smart-ass responses to completely well-meaning signs.
Most of these signs were designed to help people — to get where they're going, to find a pet, to avoid grievous bodily harm — and yet some w
Schweizerdeutsch Deutsch Wörterbuch mit 2.718 Übersetzungen - pauker.at
Schweizerdeutsch Deutsch Wörterbuch mit 2.718 Übersetzungen - pauker.at . Wörterbücher, Vokabeltrainer, Lernforen, Übersetzer
Jean-Pierre Serre - Writing mathematics badly (Part 1/3)
Une conférence de Jean-Pierre Serre, en anglais, sur les façons d'écrire de mauvais articles en mathématiques. C'est souvent drôle! Montez l
The world's most absurd warning signs and disclaimers.
Some people say Americans' love of suing the crap out of each other is a bad thing, but if it wasn't for that litigious spirit our warning s