Logik in der Informatik Prof. Louchka Popova-Zeugmann (Gastprofessur)