Juniorprofessur Informatik
Forschungsthemen
- symbolische Künstliche Intelligenz
- Automatisches und interaktives Theorembeweisen, Logikautomatisierung
- Expressive und nichtklassische Logiken
- Systemimplementierung
Veröffentlichungen
Weitere (insb. ältere) Publikationen sind via dblp oder Google Scholar zu finden.
Lehre
Wintersemester 2024/2025
keine Lehrangebote (Elternzeit)
Vorherige Semester
- Einführung in mathematische Logik (Spezialvorlesung)
- Comicseminar - Logik und Grundlagen der Mathematik (Pro-/Seminar)
- Projektseminar Logik und Künstliche Intelligenz (Proseminar/Seminar)
- Pro-/Seminar: Juristische Argumentation und „Künstliche Intelligenz (Veranstaltung an der FAU Erlangen-Nürnberg, Gastdozent)
- Expressive Logiken (Vorlesung+Übung)
- Theorie und Praxis automatischer Theorembeweisersysteme (Vorlesung+Übung)
- Logik und Künstliche Intelligenz für Legal Tech (Proseminar/Seminar)
- International Seminar on Theorem Proving (Proseminar/Seminar), english
- Juristen-Proseminar zu Subsumtion und Logik in Rechtsanwendung und Legal-Tech (Veranstaltung an der FAU Erlangen-Nürnberg, Gastdozent)
Ältere Lehrveranstaltungen (an anderen Einrichtungen) von Alexander Steen sind auf seiner privaten Website aufgelistet.
Bachelor- und Masterarbeiten
Ich betreue gerne Abschlussarbeiten rund um die Themen Künstliche Intelligenz, Logik, automatisches Schlussfolgern und theoretische Informatik; die Themen können dabei sowohl theoretisch als auch praktisch (z.B. mit Programmieranteilen) orientiert sein. Schreiben Sie mir bei Interesse einfach eine E-Mail.
Offene Themen
In den folgenden Dokumenten sind offene Bachelor- und Masterarbeitsthemen gesammelt:
Bachelorarbeitsthemen (Stand Juli 2023), Masterarbeitsthemen (TBA).
Nichts passendes gefunden? Diese Liste an potenziellen Themen ist nicht abschließend. Falls sie generelles Interesse an Themen der Logik, symbolischen KI, theoretischen Informatik, ..., haben, hier aber nicht fündig geworden sind, kontaktieren sie mich gerne. Wir können dann nach gemeinsamen Interessen und Schnittgebieten suchen.
Laufende Abschlussarbeiten
- William K., Reconstruction of higher-order automated proofs with external first-order cooperation (Masterarbeit), Erstgutachter/-betreuer
Abgeschlossene Abschlussarbeiten
- Lukasz R., Repräsentation und Visualisierung von Kripke-Modellen für Modallogik (Bachelorarbeit), Erstgutachter/Betreuer, 2023
- Jakob H., Embedding of Term-Modal Logics into Higher-Order Logic (Masterarbeit), Erstgutachter/Betreuer, 2023
- Patrick S., Analyse von IMU-Daten zur räumlichen Lokalisation von Kollisionen mit einem mobilen Roboter (Masterarbeit), Gutachter, 2023
- Skipp G., Interaktive Visualisierung von prädikatenlogischen Kripke-Strukturen (Bachelorarbeit), Erstgutachter/-betreuer, 2024
- Bennet B., Frühe Rezeptionsgeschichte des Intuitionismus im deutschsprachigen Raum (wiss. Abschlussarbeit Staatsexamen), Zweitgutachter/-betreuer, 2024
- Melanie T., Computer-Assisted Proof Verification for Higher-Order Automated Reasoning within the Dedukti Framework (Masterarbeit, Studiengang Biomathematik M.Sc.), Erstgutachter/-betreuer, 2024
[Masterarbeit als PDF] [HAL mirror] - Jule W., Implementation of Arithmetic in Leo-III (Bachelorarbeit), Erstgutachter/-betreuer, 2024
- Milene J., Modal logic problems for the TPTP (Bachelorarbeit), Erstgutachter/-betreuer, 2024