| Status | Finished |
|---|
| Effective start/end date | 01.02.2020 → 31.01.2024 |
|---|
- Johannes Kepler University Linz (lead)
- Mirko Navara (Project partner)
- Karl Svozil (Project partner)
- Pavel Pták (Project partner)
- Miroslav Korbelár (Project partner)
- Helmut Länger (Project partner)
- Jan Paseka (Project partner)
- David Kruml (Project partner)
- Jan Kühr (Project partner)
- Ivan Chajda (Project partner)
- 101013 Mathematical logic
- 101024 Probability theory
- 202027 Mechatronics
- 102019 Machine learning
- 603109 Logic
- 101 Mathematics
- 102035 Data science
- 102001 Artificial intelligence
- 102003 Image processing
- 101027 Dynamical systems
- 102023 Supercomputing
- 101005 Computer algebra
- 101004 Biomathematics
- 101014 Numerical mathematics
- 101001 Algebra
- 101028 Mathematical modelling
- 102009 Computer simulation
- 101012 Combinatorics
- 101009 Geometry
- 206003 Medical physics
- 206001 Biomedical engineering
- 101020 Technical mathematics