Bc. Vojtěch Štěpančík
| Příjmení: | Štěpančík |
|---|---|
| Jméno: | Vojtěch |
| Číslo osoby (UKČO): | 18517250 |
| E-mail: | vojtechstepancik@outlook.com |
| Druh studia: | navazující magisterské |
| Studijní program: | Matematické struktury (N0541A170016) |
| Studijní obor: | Matematické struktury |
| Ročník: | 2 |
| Fakulta: | Matematicko-fyzikální fakulta |
| Studijní stav: | výjezd na stáž |
| Studentské práce: | Formalization of homotopy pushouts in homotopy type theory |