Marcos Cramer

TU Dresden


From 2013 to 2018 I was a research associate in the Individual and Collective Reasoning group of the University of Luxembourg. In August 2018, I moved to the TU Dresden. Here is my up-to-date webpage on the TU Dresden website.

In my research, I apply logic-based methods from knowledge representation and reasoning to model actual human reasoning. The focus of my research is on combining methods from formal argumentation theory, natural language semantics, epistemic logic and philosophical logic to formally model the mathematical, philosophical and logical reasoning of humans.

Curriculum Vitae

Click here for my CV in PDF format.