Scholar
Aart Middeldorp
Google Scholar ID: R9MO_3AAAAAJ
University of Innsbruck
Citations & Impact
Citations
666
H-index
12
i10-index
21
Publications
20
Co-authors
0
Contact
Publications
Resume
Academic Achievements
- Recommended journals: Journal of Automated Reasoning, Applicable Algebra in Engineering, Communication and Computing; Recommended event: CSL 2026; Recommended proceedings: Electronic Proceedings in Theoretical Computer Science.
Research Experience
- Head of the Computational Logic research group, Associate Dean of Studies, and Erasmus coordinator.
Background
- Professor in the Department of Computer Science, with a research focus on computational logic.
Miscellany
- Consultation hours: Wednesday 11:30 – 13:00, 3M07, ICT building.