Marcos Cramer

Marcos Cramer is a researcher at the Technische Universität Dresden in the Faculty of Computer Science, affiliated with the International Center for Computational Logic. His work bridges formal logic with human reasoning.

• Focuses on modeling human reasoning through argumentation theory and epistemic logic
• Develops gender-neutral language systems for German
• Contributes to Esperanto linguistic research

Recent publications explore:

• Abstract and structured argumentation frameworks
• Trust logic for delegation revocation
• Mathematical proof checking in controlled languages

He teaches courses on computational logic, including:

• Theoretische Informatik und Logik (SS 2024)
• Knowledge Representation and Reasoning Seminar (SS 2019)
• Science of Computational Logic (WS 2018)