Alexander Steen

Alexander Steen

Ich bin Post-Doc an der Universität Luxemburg. Ich habe Mathematik und Informatik studiert, und wurde 2018 an der FU Berlin summa cum laude promoviert. Ich war als Softwareentwickler, als Tutor und danach als wiss. Assistent an der FU Berlin tätig. Dort entwickelte ich Computersysteme, die u.a. zur Analyse von Argumentationen der Philosophie eingesetzt werden können. Aktuell berate ich ebenfalls unregelmäßig Unternehmen im Umgang mit KI-Technologien.

Basierend auf meinen mehrfach ausgezeichneten Vorarbeiten arbeite ich aktuell an der Automatisierung von argumentativen Schlussfolgerungen in Gesetzestexten und anderen normativen Dokumenten. Dabei werden Rechtsnormen in einen Formalismus übersetzt, sodass konkrete Fälle dann mit Hilfe von Computern automatisch auf Korrektheit bzw. Plausibilität geprüft werden können. 

Der von mir entwickelte Theorembeweiser Leo-III gewann dieses Jahr die renommierte CASC-Weltmeisterschaft in Brasilien, in der besonders praktisch relevanten LTB-Kategorie. Für meine bisherigen Leistungen wurde ich 2018 zum Junior-Fellow der GI ernannt, zudem wurde ich zum Sprecher der GI-Fachgruppe 'Deduktionssysteme' gewählt.