Franz Bader - Curriculum vitae#

Education

• 1966 to 1970: elementary school in Spalt, Bavaria
• 1970 to 1979: Gymnasium in Roth, Bavaria
• 1979 to 1980: military service
• 1980 to 1985: study of Computer Science at Friedrich-Alexander University Erlangen-Nürnberg
• 1989: Dr.-Ing. in Computer Science (with distinction)

• 1985 to 1989: Teaching assistant at the chair for Theoretical Computer Science of the University Erlangen-Nürnberg
• 1989 to 1993: Senior Researcher at the German Research Center for Artificial Intelligence (DFKI) in Kaiserslautern and Saarbrücken
• 1993 to 2002: Associate Professor for Theoretical Computer Science at RWTH Aachen
• Since 2002: Full Professor for Automata Theory at TU Dresden
• Since 2004: Director of the Institute of Theoretical Computer Science at TU Dresden
• 2012 to 2015: Dean of the Faculty of Computer Science at TU Dresden

• International Conference on Conceptual Structures (ICCS'98)
• International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux'00)
• International Conference on Rewriting Techniques and Applications (RTA’02)
• International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'03)
• European Conference on Logic in Artificial Intelligence (JELIA'04)
• International Conference on Representing and Sharing Knowledge Using SNOMED (KR-MED'08)
• German Conference on Artificial Intelligence (KI'09)
• International Conference on Formal Concept Analysis (ICFCA'09)
• International Workshop on Methods for Modalities (M4M'09)
• Brazilian Conference on Ontologies (ONTOBRAS'13)
• Vienna Summer of Logic (VSL'14)
• International Conference on Advances in Modal Logic (AiML'14)
• International Conference on Intelligent Information Processing (IIP'14)
• International Conference on Language and Automata Theory and Applications (LATA'17)

• Member of the editorial boards of 6 international journals (AICom, J. Applied Logic, J. Applied Non-Classical Logics, J. Automated Reasoning, Logical Methods in Computer Science, Logic Journal of the IGPL)
• Speaker of the German Interest Group on Logic in Computer Science (2000-2006)
• President of CADE Inc. (2004-2009 and 2011-2013)
• Elected Reviewer of the German Science Foundation (DFG Fachkollegiat) (2004-2012); as speaker of the Reviewer Board (Sprecher des Fachkollegiums)(2008-2012)
• Member of the "Senats- und Bewilligungsausschuß für Graduiertenkollegs" of DFG (1999-2004)
• Reviewer for national and international funding agencies such as DFG, European Science Foundation, Natural Sciences and Engineering Research Council of Canada, Israel Science Foundation, Austrian Science Fund, EPSRC UK, Science Foundation Ireland, Swiss National Science Foundation, Studienstiftung des Deutschen Volkes, German Ministry of Economy and Technology, INRIA, German-Israel Foundation for Scientific Research and Development
• Member of the Scientific Directorate of Schloss Dagstuhl Leibniz Zentrum für Informatik (since 2019)