Jestem doktorantką na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego.
Moim promotorem jest Paweł Urzyczyn.
Zajmuję się rachunkiem lambda z typami i jego zastosowaniami.

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

Prace

In the Search of a Naive Type Theory, wspólnie z Pawłem Urzyczynem, w: M.Miculan, I.Scagnetto, F.Honsell (eds.), TYPES 2007, LNCS 4941, pp. 110-124
Wymiar Goldiego w kratach, praca magisterska, Uniwersytet Warszawski, 2007
Problem sprawdzania typu dla logiki pierwszego rzędu, praca magisterska, Uniwersytet Warszawski, 2006

Prezentacje

Formalizacja naiwnej teorii typów, 17 listopada 2011 r., Wrocław
Inductive types in Less Naive Type Theory, TYPES 2010, 14 października 2010 r., Warszawa
Less Naive Type Theory, Young Researchers Forum, 21 sierpnia 2010 r., Brno
Mniej naiwna teoria typów, Forum Informatyki Teoretycznej, 19 kwietnia 2008 r., Zakopane
Less Naive Type Theory , Dzień Doktoranta, 26 maja 2007 r., Warszawa
In the Search of a Naive Type Theory, wspólnie z Pawłem Urzyczynem, TYPES 2007, 5 maja 2007 r., Cividale del Friuli
Problem sprawdzania typu dla logiki pierwszego rzędu, sesja Polskiego Towarzystwa Logiki i Filozofii Nauki, 16 grudnia 2006 r., Warszawa