Riccardo Brasca
  • Home
  • Publications
  • Contact
  • Teaching
  • GPG key
  • Publications
    • Synthetic Differential Geometry in Lean
    • A complete formalization of Fermat's Last Theorem for regular primes in Lean
    • Eigenvarieties for non-cuspidal modular forms
    • Categorical foundations of formalized condensed mathematics
    • Fermat's Last Theorem for regular primes
    • Hida theory over some unitary Shimura varieties without ordinary locus
    • p-adic families of modular forms for Hodge type Shimura varieties with non-empty ordinary locus
    • An introduction to perfectoid spaces
    • Eigenvarieties for cuspforms over PEL type Shimura varieties with dense ordinary locus
    • Quaternionic modular forms of any weight
    • p-adic modular forms of non-integral weight over Shimura curves
  • Contact
  • Teaching

Contact

  • Address: Institut de Mathématiques de Jussieu-Paris Rive Gauche. Bâtiment Sophie Germain. Université Paris Cité. 5 rue Thomas Mann. Paris, France
  • Email: riccardo.brasca@gmail.com
  • Keybase: riccardobrasca
  • Office hours: by appointment

View on OpenStreetMap

Made with Hugo Blox — Open Source. Build yours →