Faculty of Computer Sciences (Organisational unit)Activity: Memberships/Positions at TUD and external institutions › TU Dresden (Academic autonomy) › Examination board Persons and affiliationsChristel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Member) Date2010 → … DescriptionVorsitzende des Prüfungsausschusses für den Internationalen Masterstudiengang Computational Logic seit 2010 Keywords