Mathieu Duguay
(he/him)
Position:
Graduate Student
Campus:
St. George,Email Address:
Biography:
- BA, University of Toronto
- MA, University of Toronto
Mathieu is doing a PhD in mathematical logic in the department. His coursework covered proof theory, model theory, abstract model theory, computability theory, computational complexity theory, incompleteness theorems, advanced set theory and logics beyond first-order logic. His doctoral project tries to determine what universal second-order logic can express on finite structures. To show that there is one statement of existential second-order logic that it cannot express is equivalent to proving that P does not equal NP.
Research Interests:
Logic, Mathematics