Scholar
Alexander Steen
Google Scholar ID: SzimD_gAAAAJ
University of Greifswald
Citations & Impact
Citations
412
H-index
9
i10-index
9
Publications
20
Co-authors
9
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published a science comic book titled 'Was wissen wir schon'; co-edited a special issue of the German AI journal 'Künstliche Intelligenz' on 'Non-Classical Reasoning for Contemporary AI Applications'; gave talks at various conferences and events such as the AI Horizons 2025 conference and DGP Hochschultag.
Research Experience
- Serves as a Juniorprofessor (equivalent to an assistant professor position) at the Institute of Mathematics and Computer Science of the University of Greifswald. His main research areas are computational logic, automated reasoning, and theoretical computer science.
Background
- Research interests include computational logic, automated reasoning, and theoretical computer science. He is the lead developer of the automated theorem prover Leo-III, a reasoning system for classical higher-order logic (HOL) and further expressive, non-classical logics (including higher-order modal logics and deontic logics). His current research interests also include the theory and practice of higher-order reasoning, including efficient data structures and related implementation techniques. Additionally, he is interested in practical aspects and applications of logics and formal methods in computer science, mathematics, and philosophy, and enjoys functional programming (e.g., in Haskell).
Miscellany
- ORCID ID: 0000-0001-8781-9462; provides contact information and office hours on his personal homepage; participated in a research project on logic and automated reasoning supported by the Academy of Sciences and Humanities in Hamburg.
