Home

Publications

Research

Teaching

Talks


Labs

2012 - Computational logic (summer semester, lab assistant). FUB, Bolzano, Italy.
2011 - Computational logic (summer semester, lab assistant). FUB, Bolzano, Italy.

Courses

2000 - Logic and philosophy of science (summer semester). UPRP, Lima, Perú.