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
|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|
|Brazilian College of Saint Benedict, Brazil|
|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|