Prace
A Formalization of the Naive Type
Theory, doktorat, Uniwersytet
Warszawski, 2011
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
A Formalization of the Naive Type Theory, 31 maja 2012 r., Warszawa
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