Forschung im Fachgebiet Automaten und Logik