Prof. Dr. Johannes Köbler

Projects

10/2017 - 12/2020	Current Challenges in Isomorphism Testing and Graph Canonization
04/2014 - 05/2018	Isomorphism and similarity of graphs
07/2011 - 06/2017	Algebraic Methods in Graph Isomorphism, Polynomial Identity Testing, and Arithmetic Circuit Complexity
12/2010 - 05/2018	Isomorphism and similarity of graphs
04/2008 - 03/2010	Propositional Proof Complexity and Disjoint NP-Pairs II
04/2006 - 03/2008	Propositional Proof Complexity and Disjoint NP-Pairs I