Bjarki Gudmundsson

Syndis

Bjarki was an MSc student at Reykjavik University fall 2015 - spring 2017. He currently works at Syndis in Iceland.

• MSc thesis: Formalizing the translation method in Agda
• MathSciNet Profile

Projects

• Coincidence and Wilf-classification
• Automatic discovery of conjectured covers of combinatorial classes

Papers

• Automatic discovery of structural rules of permutation classes
• Collatz meets Fibonacci
• Algorithmic coincidence classification of mesh patterns