| Oct 26, 2026 | The IWIL 2026 proceedings are out: our paper Building Blocks for Reasoning on the BEAM is published in Kalpa Publications in Computing, vol. 23 (doi:10.29007/z6j1). I presented the work at IWIL in Spetses on October 25; the slides and the demo notebook are available. |
| Sep 24, 2026 | I have completed my M.Sc. in Applied Computer Science with a grade of 1.0 and continue at the Chair for AI Systems Engineering. |
| Sep 11, 2026 | Released tptp 0.1.0, a parser, linter and printer for the TPTP language in Elixir. |
| Sep 03, 2026 | Our paper Building Blocks for Reasoning on the BEAM has been accepted at IWIL 2026, co-located with LPAR-26 in Spetses, Greece. |
| Jul 25, 2026 | I’m giving a talk about our Paper Elixir meets TPTP: Bringing Automated Reasoning to the BEAM Ecosystem at PAAR’26 in Lisbon. The slides and the presented demo files are publically available. |
| Jul 02, 2026 | Our paper at PAAR’26 is accepted and a camera-ready version available at ResearchGate. I will present this work at the PAAR workshop in Lisbon on July 25. |
| Apr 01, 2026 | Teaching Assistant for AISE-Auto – Automation of Logical Reasoning offered by Prof. Dr. Christoph Benzmüller during summer semester 2026. |