[pl] [en]
Agnieszka Kozubek-Krycuń
Contact data
Address
Institute of Informatics
University of Warsaw
Banacha 2
02-097 Warszawa
University of Warsaw
Banacha 2
02-097 Warszawa
kozubek (at) mimuw (dot) edu (dot) pl
Teaching (in Polish)
2017/2018
Podstawy matematyki2016/2017
Programowanie obiektowePodstawy matematyki
2015/2016
Programowanie obiektowePodstawy matematyki
2014/2015
Programowanie obiektowePodstawy matematyki
2013/2014
Programowanie obiektowePodstawy matematyki
2012/2013
Podstawy matematyki2011/2012
Programowanie obiektowePodstawy matematyki - grupa nr 1 (godz. 14), grupa nr 10 (godz. 12)
Logika dla informatyków
2010/2011
Programowanie obiektoweIndywidualny 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 obiektowePodstawy 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ściTeoretyczne podstawy systemów wspomagających dowodzenie
Research
Papers
A Formalization of the Naive Type
Theory, PhD thesis, University of Warsaw, 2011
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,
2006Presentations
A Formalization of the Naive Type Theory,
May 31, 2012, Warsaw
A formalization of the 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