| 24.09.2026 | Ich habe meinen M.Sc. in Angewandter Informatik mit der Note 1,0 abgeschlossen und bleibe am Lehrstuhl für KI-Systementwicklung. |
| 11.09.2026 | tptp 0.1.0 ist veröffentlicht: ein Parser, Linter und Printer für die TPTP-Sprache in Elixir. |
| 03.09.2026 | Unser Paper Building Blocks for Reasoning on the BEAM wurde für IWIL 2026 angenommen, das zusammen mit der LPAR-26 auf Spetses (Griechenland) stattfindet. |
| 25.07.2026 | Vortrag über unser Paper Elixir meets TPTP: Bringing Automated Reasoning to the BEAM Ecosystem bei PAAR’26 in Lissabon. Die Folien und die gezeigten Demo-Dateien sind öffentlich verfügbar. |
| 02.07.2026 | Unser Paper für PAAR’26 wurde angenommen; die Camera-ready-Version ist auf ResearchGate verfügbar. Ich stelle die Arbeit am 25. Juli beim PAAR-Workshop in Lissabon vor. |
| 01.04.2026 | Tutor für AISE-Auto – Automation of Logical Reasoning bei Prof. Dr. Christoph Benzmüller im Sommersemester 2026. |