Powrót do listy pracowników
prof. dr hab. Paweł Urzyczyn
- Afiliacja
-
profesor,
Instytut Informatyki
- Konsultacje
- Czwartek, 19:00-20:30 zdalnie https://us02web.zoom.us/j/84593508534 termin konsultacji obowiązuje w czasie trwania zajęć dydaktycznych
- Telefon
- 55-44-570
Publikacje
Dziedziny badań
Granty
- Formalizacja naiwnej teorii typów (promotorski)
- Narzędzia i techniki rozszerzające modularność i siłę wyrazu języków obiektowych (promotorski)
- System wspomagania dowodzenia dla duzych aplikacji, oparty na rachunku konstrukcji (promotorski)
- Teoria typów w badaniach własności programów
- Teoria typów w programowaniu funkcyjnym i obiektowym.
- Wnioskowanie o programach przy użyciu narzędzi opartych na teorii typów