Powrót do listy pracowników
prof. dr hab. Paweł Urzyczyn
- Afiliacja
-
profesor,
Instytut Informatyki
- P.Urzyczyn@mimuw.edu.pl
- Telefon
- 55-44-570
- Pokój
- 5700
- Strona internetowa
- http://www.mimuw.edu.pl/~urzy
- Informacje w systemie USOSweb
- Link
- Konsultacje
- Poniedziałki od 19 do ostatniego klienta, zdalnie https://us02web.zoom.us/j/84593508534
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