Details
| Akronym | FAI |
|---|---|
| Status | Laufend |
| Beginn/Ende | 1 Juli 2022 → 30 Juni 2025 |
!!Funding
Mittelherkunft
Förderprogramm/-linie
- Deutsche Forschungsgemeinschaft (DFG)
- Projektanträge von Personen
- Einzelprojekte (Sachbeihilfe)
FAI
Formale Verifikation von analoger AI-Hardware
Projekt: Forschung
Mitwirkende
- Markus Olbrich (Projektleiter/in (Principal Investigator))
Organisationseinheiten
Externe Kooperationspartner
- Gottfried Wilhelm Leibniz Universität Hannover (Leitung)
- Technische Universität München (TUM) (Mitantragsteller)
- Goethe-Universität Frankfurt am Main (Mitantragsteller)