Expository-articles

  1. Developments in Formal Proofs, Bourbaki, year 66, number 1086, June 2014, arxiv:1408.6474. {F}{E}{R}
  2. The NSA back door to NIST, Notices of the AMS, 61(2), February 2014, pdf-link. {O}{E}{R}
  3. Mathematics in the Age of the Turing Machine, in Turing’s Legacy, Lecture Notes in Logic, 42, Cambridge, 2014, arxiv:1302.2898. {F}{E}{R}
  4. The fundamental lemma and the Hitchin fibration (after Ngô Bao Châu), Bourbaki seminar 2010-2011, no. 1035, April 2011, arXiv:1103.4066K. {L}{E}
  5. The Mathematical Work of the 2010 Fields Medalists: The Work of Ngô Bao Châu, Notices of the AMS, 58, no. 3, March 2011, 453–458, arXiv:1012.0382. {L}{E}
  6. My teacher Paul J. Cohen. Notices Amer. Math. Soc., 57, no. 7, August 2010, 833–834, notices-link. {O}{E}
  7. Formal proof. Notices Amer. Math. Soc. 55 (2008), no. 11, 1370–1380, AMS-link. {F}{E}{T}
  8. A statement of the fundamental lemma. Harmonic Analysis, The Trace Formula, and Shimura Varieties, 643–658, Clay Math. Proc., 4, Amer. Math. Soc., Providence, RI, 2006, arXiv:math/0312227. {L}{E}
  9. Historical overview of the Kepler conjecture. Discrete Comput. Geom., 36 (2006), 5–20, arXiv:math/9811071. {D}{E}
  10. What is motivic measure? Bull. Amer. Math. Soc. 42 (2005), 119-135, arxiv-link. {M}{E}{T}
  11. Cannonballs and honeycombs. Notices Amer. Math. Soc. 47 (2000), no. 4, 440–449, AMS-link. {D}{E}{T}
  12. The status of the Kepler conjecture. Math. Intelligencer 16 (1994), no. 3, 47–58, springer-link. {D}{E}