Age-related macular degeneration (AMD) is a multifactorial disease of the macula recognised as the leading cause of vision loss in people over 55. This project innovates on AMD prediction analysis through new methods and tools for paraconsistent reasoning over complex, weak consistent data classified by often contradictory medical judgements. The team fosters synergies between INESCTEC, AIBILI, and UA (CIDMA). The project started in the 1st of Sep. 2025 and will end in the 31st of August 2028.
TBA
- Ibex - Quantitative methods for cyber-physical programming
- DaVinci - Distributed architectures, variability and interaction for cyber-physical systems
- Klee - coalgebraic modeling and analysis for computational synthetic biology
- DaLí - Dynamic Logics for cyber-physical systems: towards contract based design