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