Education :   Ph.D., University of Ottawa

Main Research Group: Logic

Research Interests: Category Theory, Mathematical Logic, Theoretical Computer Science.