Joseph Cotnareanu

PhD Student

Hello, I am a PhD candidate at McGill University in Montréal, QC under the supervision of Prof. Mark Coates. I have various research interests; the topic of my master's thesis was generating SAT problems. Currently I'm interested in combining machine learning and logical techniques for for reasoning, particularly within the natural-language domain.