Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Utrecht University
Mathematical Institute

Address Mailbox 80.010
3508 TA Utrecht
Niederlande

3508 TA Utrecht

Projects

WBP Position
- Completed projects
  - Formal verification of a theorem by Clausen and Scholze
    (Applicant Commelin, Johan )
Priority Programmes
- Completed projects
  - Compressive Covariance Estimation for Massive MIMO (CoCoMiMo)
    (Applicants Caire, Ph.D., Giuseppe ; Dirksen, Sjoerd ; Rauhut, Holger )
  - Quantized Compressive Spectrum Sensing (QuaCoSS)
    (Applicants Mathar, Rudolf ; Rauhut, Holger )
Independent Junior Research Groups
- Current projects
  - Stability and Solvability in Deep Learning
    (Applicant Voigtlaender, Felix )
International Research Training Groups
- Completed projects
  - GRK 1800: Moduli and Automorphic Forms: Arithmetic and Geometric Aspects
    (Spokesperson Kramer, Jürg )

© 2024 DFG Disclaimer / Copyright / Privacy Policy