Adres e-mail: pwl [at] mimuw.edu.pl

Temat pracy magisterskiej: Automatyzacja dowodzenia twierdzeń w systemie Coq, grudzień 2007, Wydział Matematyki i Informatyki UW

Zakres zainteresowań: logika formalna, teoria dowodzenia, teoria obliczeń, filozofia języka, kognitywistyka

Referaty i wystąpienia:

• Relacja komprehensji - między umysłem a rzeczywistością, Zlot Filozoficzny 2007