Joshua Hirschbrunn

Since April 2023, I am a research associate and PhD student at the Institute of Artificial Intelligence. I am working on languages and methods for automated reasoning, in particular on extensions of description logics. Before that, from 2017 to 2023, I studied computer science at Ulm University with a focus on machine learning and symbolic artificial intelligence.

Further Information

  • Automated Reasoning
  • Description Logics


  • Lecture "Objektorientierte Programmierung" (engl. Object-Oriented Programming) (Summer Semester 23)