I'm a master's student at Concordia University, Montreal, focusing on formal methods in linguistics. Some of the projects I have worked on in the last year are:
-The Substance-free Search-and-Copy Algorithm: Reiss & Mailhot  came up with a formal template for the specification of phonological rules that was aiming at a better treatment of long-distance dependencies such as those found in harmony processes. This algorithm had the advantage of being easily implementable. What I worked on was to find the limitations of this template and see what kind of phenomena it couldn't model. What I found was that the algorithm does not generally work with, for instance, languages where a blocking segment does not form a natural class with a trigger segment, as the search would have to look for a disjunction of sets of features, something not allowed in this kind of system. NAPhC8 Poster
- Binding in Pregroup Grammars: Pregroup grammars are descendants of the original categorial grammars. In this kind of system, we assign types to elements of our lexicon and then we test the grammaticality of a sentence by performing a derivation on the list of their corresponding types. What is specific about pregroup grammars is that the types form a "pregroup", i.e. a partially ordered monoid. Although pregroup grammars are strong enough to treat many syntactic processes, it doesn't seem like we could model binding phenomena without adding something to the original framework. What I did was to create a second layer to our deduction that takes care of matching the referents appearing in a sentence. NASSLLI 2014 Poster
- Deductive Minimalism: Although Minimalism is one of the mainstream syntactic system nowadays, there is still debate as to what kind of technical processes actually take place in those derivations and how those derivations actually look like formally. What I am working on is to make the whole process of deriving syntactic objects from selection to spell-out more formal. It is work in progress and very drafty.
This summer, I will be working on the LingSync linguistics database project as a software developper.
Prior to my arrival at Concordia, I did a B.Sc. in Mathematics and Computer Science at McGill University. My main interests during those years was formal logic and its different uses in fields like mathematics, computer science, linguistics, and philosophy.
Formal Linguistics, Categorial Grammars, Formal Logic, Type Theory
Here's my CV. If you would like to contact me for whatever reason, just write to firstname.lastname at mail.mcgill.ca.