Loading...
International projects
Type Theory for Data-Intensive Formalization
Organisations (1) , Researchers (17)
1554 University of Ljubljana, Faculty of Mathematics and Physics
| no. | Code | Name and surname | Research area | Role | Period | No. of publicationsNo. of publications |
|---|---|---|---|---|---|---|
| 1. | 53230 | Mathematics | Researcher | 2022 - 2023 | 30 | |
| 2. | 15854 | Mathematics | Head | 2020 - 2025 | 223 | |
| 3. | 33231 | Mathematics | Researcher | 2021 - 2026 | 33 | |
| 4. | 53446 | Computer intensive methods and applications | Researcher | 2023 | 27 | |
| 5. | 50815 | Mathematics | Researcher | 2021 | 8 | |
| 6. | 56220 | Mathematics | Researcher | 2026 | 19 | |
| 7. | 61023 | Mathematics | Researcher | 2025 - 2026 | 23 | |
| 8. | 50816 | Mathematics | Researcher | 2021 | 27 | |
| 9. | 18838 | Mathematics | Researcher | 2023 | 268 | |
| 10. | 32320 | Mathematics | Researcher | 2021 - 2025 | 81 | |
| 11. | 53700 | Mathematics | Researcher | 2021 - 2024 | 16 | |
| 12. | 57968 | Mathematics | Researcher | 2024 | 5 | |
| 13. | 61313 | Mathematics | Young researcher | 2026 | 0 | |
| 14. | 54828 | Mathematics | Researcher | 2023 - 2024 | 6 | |
| 15. | 58703 | Mathematics | Researcher | 2023 - 2026 | 11 | |
| 16. | 60318 | Mathematics | Researcher | 2021 - 2026 | 3 | |
| 17. | 39104 | Mathematics | Researcher | 2026 | 20 |
Abstract
TydiForm focuses on designing and implementing new techniques for formal verification of mathematics with the aim of improving the capabilities of proof assistants. In the project, we will build on the synergy between formalized mathematics and databases of mathematical structures, develop domain-specific type theories and type systems for programming languages.