Nalaganje ...
Mednarodni projekti
Type Theory for Data-Intensive Formalization
Organizacije (1) , Raziskovalci (17)
1554 Univerza v Ljubljani, Fakulteta za matematiko in fiziko
| št. | Evidenčna št. | Ime in priimek | Razisk. področje | Vloga | Obdobje | Štev. publikacijŠtev. publikacij |
|---|---|---|---|---|---|---|
| 1. | 53230 | Matematika | Raziskovalec | 2022 - 2023 | 30 | |
| 2. | 15854 | Matematika | Vodja | 2020 - 2025 | 223 | |
| 3. | 33231 | Matematika | Raziskovalec | 2021 - 2026 | 33 | |
| 4. | 53446 | Računalniško intenzivne metode in aplikacije | Raziskovalec | 2023 | 27 | |
| 5. | 50815 | Matematika | Raziskovalec | 2021 | 8 | |
| 6. | 56220 | Matematika | Raziskovalec | 2026 | 17 | |
| 7. | 61023 | Matematika | Raziskovalec | 2025 - 2026 | 21 | |
| 8. | 50816 | Matematika | Raziskovalec | 2021 | 27 | |
| 9. | 18838 | Matematika | Raziskovalec | 2023 | 261 | |
| 10. | 32320 | Matematika | Raziskovalec | 2021 - 2025 | 80 | |
| 11. | 53700 | Matematika | Raziskovalec | 2021 - 2024 | 16 | |
| 12. | 57968 | Matematika | Raziskovalec | 2024 | 5 | |
| 13. | 61313 | Matematika | Mladi raziskovalec | 2026 | 0 | |
| 14. | 54828 | Matematika | Raziskovalec | 2023 - 2024 | 6 | |
| 15. | 58703 | Matematika | Raziskovalec | 2023 - 2026 | 11 | |
| 16. | 60318 | Matematika | Raziskovalec | 2021 - 2026 | 3 | |
| 17. | 39104 | Matematika | Raziskovalec | 2026 | 17 |
Povzetek
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.