• combinatorial algorithms
• practical graph isomorphism
• models of computation

• dejavu : probabilistic, parallel graph automorphism and isomorphism solver
• sassy: preprocessor for symmetry detection

You can find a list of my publications on DBLP.