I am a PhD student at the Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw.
My advisor is Paweł Urzyczyn.
My research interests include lambda calculus with types and its applications.

2011/2012

Podstawy matematyki - grupa nr 1 (godz. 14), grupa nr 10 (godz. 12)
Logika dla informatyków

2010/2011

Programowanie obiektowe
Indywidualny projekt programistyczny
Podstawy matematyki - grupa nr 1 (godz. 14), grupa nr 10 (godz. 12)
Logika dla informatyków

2009/2010

Podstawy matematyki - grupa nr 1 (środa), grupa nr 10 (piątek)
Programowanie funkcyjne - laboratorium
Programowanie obiektowe

2008/2009

Programowanie obiektowe
Podstawy matematyki
Programowanie funkcyjne - laboratorium

2007/2008

Programowanie obiektowe - ćwiczenia i laboratorium (Java)
Podstawy matematyki
Programowanie obiektowe - laboratorium (Smalltalk)
Rachunek lambda

2006/2007

Wstęp do teorii mnogości
Teoretyczne podstawy systemów wspomagających dowodzenie

Papers

In the Search of a Naive Type Theory, with Paweł Urzyczyn, in: M.Miculan, I.Scagnetto, F.Honsell (eds.), TYPES 2007, LNCS 4941, pp. 110-124
On Goldie dimension of lattices, Master's thesis (in Polish), University of Warsaw, 2007
Type checking problem for first order logic, Master's thesis (in Polish), University of Warsaw, 2006

Presentations

Formalization of a naive type theory (in Polish), November 17, 2011, Wrocław
Inductive types in Less Naive Type Theory, TYPES 2010, October 14, 2010, Warsaw
Less Naive Type Theory, Young Researchers Forum, August 21, 2010, Brno
Less Naive Type Theory (in Polish), Forum Informatyki Teoretycznej, April 19, 2008, Zakopane
Less Naive Type Theory, Dzień Doktoranta, May 26, 2007, Warsaw
In the Search of a Naive Type Theory, with Paweł Urzyczyn, TYPES 2007, May 5, 2007, Cividale del Friuli
Type checking problem for first order logic (in Polish), session of the Polish Association for Logic and Philosophy of Science, December 16, 2006, Warsaw