[pl] [en] 
Agnieszka Kozubek-Krycuń

Contact data

Address

Institute of Informatics
University of Warsaw
Banacha 2
02-097 Warszawa

Email

kozubek (at) mimuw (dot) edu (dot) pl

Office hours

Mondays 16.00 - 17.00 (please e-mail me first)

Teaching (in Polish)

2016/2017

Programowanie obiektowe
Podstawy matematyki

2015/2016

Programowanie obiektowe
Podstawy matematyki

2014/2015

Programowanie obiektowe
Podstawy matematyki

2013/2014

Programowanie obiektowe
Podstawy matematyki

2012/2013

Podstawy matematyki

2011/2012

Programowanie obiektowe
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

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, 2006

Presentations

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