Teaching and Research Unit Programming and Modelling Languages
Dr. François Bry, professor
Dr. Sven Strickroth, professor
Dr. Hans Jürgen Ohlbach, professor em.
News
17.03.2020, 12:22: As a contribution to containing the corona virus
- the unit’s personal works mostly at home,
- please contact them by email or phone.
Focus in Teaching and Research
- Symbolic Artificial Intelligence:
- Knowledge Engineering
- Logic-Based Languages
- Automated Reasoning
- Explainable AI
- Crowdsourcing, Human Computation, and Citizen Science
- Technology Enhanced Learning