August/September 2018: I will be awarded a Junior-Fellowship
of the German
Gesellschaft für Informatik (GI) at this
year's #INFORMATIK2018 on September 26, 2018, in Berlin. See also the official
press release (german).
May 2018: The Modal Embedding Tool (MET) Version 1.0 has been released! Also see the LPAR-21 paper.
May 2018: Our system description of Leo-III got accepted at IJCAR 2018 in Oxford. Also see the extended version of the paper at arXiv:1802.02732.
December 2017: Version 1.2 of Leo-III has been released! See the release notes for details.
August 2017: 2nd place for Leo-III in CASC-26 THF division, see CASC results page.
November 16-21, 2018.
22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-22), Awassa, Ethopia.
September 17-26, 2018: Luxembourg Logic for AI Summit (LuxLogAI), Luxembourg, (local co-organizer)
September 17-19, 2018: 4th Global Conference on Artificial Intelligence (GCAI 2018), Luxembourg, part of LuxLogAI, (pc member)
September 18-21, 2018: 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, part of LuxLogAI (poster session chair)
September 21, 2018: Jahrestreffen der Fachgruppe Deduktionssysteme der Gesellschaft der Informatik (Deduktionstreffen 2018), Luxembourg, part of LuxLogAI (program co-chair)
This is the personal homepage of Alexander Steen. I am a post-doctoral researcher at the Faculty of Science, Technology and Communication (FSTC) of the University of Luxembourg. I'm working on 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).
My current research interests include theory and practice of higher-order reasoning, including efficient data structures for higher-order theorem provers, and related implementation techniques. Furthermore, I'm interested in practical aspects and applications of logics and formal methods in computer science, mathematics and philosophy. Also, I like functional programming (e.g. in Haskell).
In my freetime, I'm a bass singer in a choir for classical music of various periods and singer in a Schola Cantorum (Vokalschola), see "Links" section.
I completed the advanced training certificate for unversity teaching (Hochschuldidaktisches Lehrzertifikat) of Freie Universität Berlin (Support für die Lehre).
Only showing the latest six teaching activities. » show complete list
Interested in writing a bachelors or masters thesis in the context of automated theorem proving? Feel free to contact me via e-mail.