I am a PhD student at the Institute of Informatics, University of Warsaw. I also work with the NLP Working Group at the Polish Academy of Sciences, in the NEKST project. My interests are logic, lambda calculus, type theory, proof assistants and natural language processing. If you are looking for my CV, please find it here.
Table of contents:
Instytut Informatyki UW
Banacha 2, 02-097 Warszawa, Poland
office room: 5830
office hours: Thu 2:00–3:00 p.m.
e-mail: asl (at) mimuw (dot) edu (dot) pl
Podstawy matematyki: link do strony przedmiotu znajduje się tu
Języki i narzędzia programowania I: na razie nic tu nie ma
A few pictures:
A few links: