Marcos Cramer

6, rue Richard Coudenhove - Kalergi
Office E107, L-1359 Luxembourg

(+352) 46 66 44 5364


I am a research associate in the Individual and Collective Reasoning group of the University of Luxembourg.

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.