Michael Levison is a Professor Emeritus in the School of Computing at Queen's University, Canada.Greg Lessard is a Professor in the Department of French Studies at Queen's University, Canada.Craig Thomas earned his PhD from the School of Computing at Queen's University, Canada, in2010 under the supervision of Michael Levison and Greg Lessard.Matthew Donald earned his MSc from the School of Computing at Queen's University, Canada, in2006 under the direction of Michael Levison and Greg Lessard.