zdjecie

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:

  1. Address
  2. Teaching
  3. Publications
  4. Pictures
  5. Links

Address

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


Teaching (in Polish)

Podstawy matematyki: link do strony przedmiotu znajduje się tu

Języki i narzędzia programowania I: na razie nic tu nie ma

Technologie informacyjne


Publications

Papers

Slides


Pictures

A few pictures:


Links

A few links: