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)
  • Lecture “Introduction to Computer Science (for Non-Computer Scientists)” (Winter Semester 23/24)