Program responsibilities
- Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
- Expanding TRIPODS through Partnerships (XTRIPODS)
- Foundations for Digital Twins as Catalyzers of Biomedical Technological Innovation (FDT-BioTech)
- Future Manufacturing (FM)
- Global Centers (GC)
- Mathematical Foundations of Artificial Intelligence (MFAI)
- Mathematical Foundations of Digital Twins (MATH-DT)
- Smart Health and Biomedical Research in the Era of Artificial Intelligence and Advanced Data Science (SCH)