I am currently collaborating with Professor Jedwab of Simon Fraser University. My interests focus on enumerative combinatorics and algorithmic proof theory.
List of my publications