Please check here for teaching materials.
I have teaching experience as a lecturer in the Humanities as well as in Formal and Applied Sciences. Most of my experience is as substitute lecturer (part of postdoctoral fellowships duties) in graduation and post-graduation courses in Philosophy (Logic, Epistemology and General Philosophy) and Computer Science (Mathematical Logic and Knowledge Representation and Reasoning). Some of the courses I had full administrative responsibilities (as a lecturer or co-lecturer) can be found bellow.
Full-semester graduate and postgraduate courses
(For short-term and other courses, please check outputs and outreach activities.)
Lecturer
| Academic session | Degree | Institution | Syllabus | |
|---|---|---|---|---|
| 2016 | Special Topics on Logic: Introduction to Modal Logic | Philosophy (Graduate) | University of Campinas – Institute of Philosophy and Human Sciences, Brazil | HG510A |
| 2015 | Computability | Philosophy (Postgraduate) | University of Campinas – Institute of Philosophy and Human Sciences, Brazil | HF009A |
| 2010 | Critical Thinking | Law (Postgraduate) | Brazilian College of Saint Benedict, Brazil |
Teaching Assistant
| Academic session | Degree | Institution | Syllabus | |
|---|---|---|---|---|
| 2010 | Introduction to Logic | Philosophy (graduate) | Unicamp, Baazil | HG404A |
| 2009 | Fundamentals of Mathematical Logic | Information System (Graduate) | Universidade Federal de São Carlos, Brazil | |
| 2007 | Introduction to Mathematical Logic | Information System (Graduate) | Universidade Federal de São Carlos, Brazil |