in English

Zajęcia

Informacje o prowadzonych przeze mnie zajęciach.

Badania

Zajmuję się teorią typów i programowaniem funkcyjnym. Tu można znaleźć moje publikacje

Adres

Instytut Informatyki

Uniwersytet Warszawski

ul. Banacha 2

02-097 WARSZAWA