April 12-13, 2018:
Automated Reasoning Workshop 2018,
Cambridge, UK (attendee, speaker)
June 25-27, 2018: First European Workshop on Higher-Order Automated Reasoning, Amsterdam, The Netherlands (attendee, speaker)
July 14-17, 2018: 9th International Joint Conference on Automated Reasoning, Oxford, UK (attendee, speaker)
September 17-19, 2018: 4th Global Conference on Artificial Intelligence (GCAI 2018), Luxembourg (pc member)
September 18-21, 2018: 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg (poster session chair)
September 21, 2018: Jahrestreffen der Fachgruppe Deduktionssysteme der Gesellschaft der Informatik (Deduktionstreffen 2018), Luxembourg (program co-chair)
This is the personal homepage of Alexander Steen. I am a researcher and doctoral student at the Artificial Intelligence group of the Institute of Computer Science at the FU Berlin. I'm currently working on the Leo-III system, an massively parallel automated theorem prover (ATP) for expressive higher-order logics.
My current research investigates efficient data structures for higher-order theorem proving 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.