October 2019: I was nominated as an AI Newcomer (KI-Newcomer),
a prize awarded by Germany's Federal Ministry of Education and Research (BMBF) and the German Informatics Society.
If you want to support me, you can
vote for me until November 17, 2019.
September 2019: I was invited to join the "AI and Science" track at the KI-Camp (December 2019) and as an invited speaker at PhDs in Logic XII (April 2020), both in Berlin.
August 2019: Leo-III won the LTB division of this year's CASC! Also, Leo-III ranked second place in the CASC's THF division. See also the news article (Luxemburger Wort) and the UL press release.
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).
December 5, 2019:
KI-Camp: Die Forschungs-Convention, Berlin, Germany. (invited panelist)
December 11-13, 2019: 32nd International Conference on Legal Knowledge and Information Systems (Jurix 2019), Madrid, Spain.
March 22-27, 2020: 5th Conference on Artificial Intelligence and Theorem Proving (AITP 2020), Aussois, France.
April 6-9 2020: Zhejiang Conferences on Logics in Artificial Intelligence (ZJULogAI 2020), Hangzhou, China. (Co-organizer)
April 6-9 2020: 6th Global Conference on Artificial Intelligence GCAI 2020, Hangzhou, China.
April 27-29, 2020: PhDs in Logic XII, Berlin, Germany. (Invited Speaker)
May 9-13, 2020: International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020), Auckland, New Zealand. (PC member)
June 8-12, 2020: 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain.
June 29 - July 2, 2020: 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France.
July 26 - 31, 2020: 13th Conference on Intelligent Computer Mathematics (CICM 2020), Bertinoro, Forli, Italy.
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.