prof. dr hab. Paweł Urzyczyn

Afiliacja

profesor, Instytut Informatyki

Mail

P.Urzyczyn@mimuw.edu.pl

Telefon

55-44-570

Pokój

5700

Strona internetowa

http://www.mimuw.edu.pl/~urzy

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

Poniedziałki od 19 do ostatniego klienta, zdalnie

https://us02web.zoom.us/j/84593508534

termin konsultacji obowiązuje w czasie trwania zajęć dydaktycznych

Publikacje

• Publikacje (36)

Dziedziny badań

• Logika matematyczna i teoria kategorii
  
• Logika w informatyce
  Rachunek lambda, teoria typów, logiki dla weryfikacji

Granty

• Teoria typów w badaniach własności programów
  Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
• Formalizacja naiwnej teorii typów (promotorski)
  Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
• Narzędzia i techniki rozszerzające modularność i siłę wyrazu języków obiektowych (promotorski)
  Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
• Wnioskowanie o programach przy użyciu narzędzi opartych na teorii typów
  Finansowany przez: Komitet Badań Naukowych
• System wspomagania dowodzenia dla duzych aplikacji, oparty na rachunku konstrukcji (promotorski)
  Finansowany przez: Komitet Badań Naukowych
• Teoria typów w programowaniu funkcyjnym i obiektowym.
  Finansowany przez: Komitet Badań Naukowych