July 2019: Our new album, Adoramus Te, is now available at Spotify, Amazon, and iTunes. See also some of our tracks at YouTube.
March 2019: An independent, large evaluation study identifies Leo-III as the worlds leading higher-order automated theorem prover: See arXiv:1903.02539.
January 2019: A research profile (self-portrayal) about my recent work was published by the it - Information Technology journal: See doi:10.1515/itit-2019-0001.
December 2018: Together with Claudia Schon (U Koblenz), I was appointed Speaker (Sprecher) of the special interest group on deduction systems (Fachgruppe Deduktionssysteme) of the German Informatics Society (Gesellschaft für Informatik (GI)). Thanks for the trust!
September 2018: I was awarded a Junior-Fellowship of the German Gesellschaft für Informatik (GI) at this year's #INFORMATIK2018 (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.
August 25-30, 2019:
27th International Conference on Automated Deduction (CADE-27), Natal, Brazil.
September 20-22, 2019: 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), Bozen-Bolzano, Italy. (Demos and Posters track co-chair)
September 23, 2019: Deduktionstreffen 2019, Kassel, Germany. (PC co-chair, organizer)
September 23-26, 2019: 42nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany. (workshop/tutorial chair)
September 23-27, 2019: INFORMATIK 2019, Kassel, Germany.
November 6-8, 2019: 31th Benelux Conference on Artificial Intelligence (BNAIC 2019), Brussels, Belgium.
December, 11-13, 2019: 32nd International Conference on Legal Knowledge and Information Systems (Jurix 2019), Madrid, Spain.
April, 27-29, 2020: PhDs in Logic XII, Berlin, Germany. (Invited Speaker)
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 ORCID ID is 0000-0001-8781-9462.
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.