Juniorprofessur Informatik
Leiter
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
- 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
- Melanie T., Computer-Assisted Proof Verification for Higher-Order Automated Reasoning within the Dedukti Framework (Masterarbeit, Studiengang Biomathematik M.Sc.), Erstgutachter/-betreuer
- Skipp G., Interaktive Visualisierung von prädikatenlogischen Kripke-Strukturen (Bachelorarbeit), Erstgutachter/-betreuer
- Milene J., Modal logic problems for the TPTP (Bachelorarbeit), Erstgutachter/-betreuer
- Jule W., Implementation of Arithmetic in Leo-III (Bachelorarbeit), Erstgutachter/-betreuer
- Bennet B., Frühe Rezeptionsgeschichte des Intuitionismus im deutschsprachigen Raum (wiss. Abschlussarbeit Staatsexamen), Zweitgutachter/-betreuer
Abgeschlossene Abschlussarbeiten
- Lukasz R., Repräsentation und Visualisierung von Kripke-Modellen für Modallogik (Bachelorarbeit, Studiengang Mathematik mit Informatik B.Sc.), Erstgutachter/Betreuer, 2023
- Jakob H., Embedding of Term-Modal Logics into Higher-Order Logic (Masterarbeit, Studiengang Mathematik M.Sc.), Erstgutachter/Betreuer, 2023
- Patrick S., Analyse von IMU-Daten zur räumlichen Lokalisation von Kollisionen mit einem mobilen Roboter (Masterarbeit, Mathematik M.Sc.), Gutachter, 2023