Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Johan Commelin

Adresse Utrecht University
Mathematical Institute
Mailbox 80.010
3508 TA Utrecht
Niederlande

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Formale Verifikation eines Satzes von Clausen und Scholze (WBP Stelle)

© 2024 DFG Kontakt / Impressum / Datenschutz