Details
| Acronym | FAI |
|---|---|
| Status | Active |
| Start/end date | 1 Jul 2022 → 30 Jun 2025 |
Funding
Funding type
Funding scheme
- German Research Foundation (DFG)
- Project Proposals by Individuals
- Individual Research Grants (Sachbeihilfe)
FAI
Formal Verification of Analog AI Hardware
Project: Research
Participants
- Markus Olbrich (Principal Investigator)
Research Organisations
External collaborative partners
- Leibniz University Hannover (lead)
- Technical University of Munich (TUM) (Joint applicant)
- Goethe University Frankfurt (Joint applicant)