## Programming

### Professor Liar subject generator

Simple javascript generator of Professor Liar specialties. The version hosted on my McGill CS account here is one of the top search results for “professor liar”.

### ThreadSafe

Small utility for viewing and downloading Facebook group comment threads with many comments (>50). Hosted on Github pages here.

## Talks and writing

### Logic

For COMP-525, a course on Formal Verification, I gave a talk on the expressivity of the modal *μ*-calculus *L**μ*, describing the syntax and semantics of *L**μ* as well as proving that it is strictly more expressive than another modal logic called Propositional Dynamic Logic. Slides for the presentation can be seen here, and a thorough companion paper covering the topics of the talk in more depth is here.

I later presented a more-complete version of the talk at SUMM. This version begins with a description of transition systems and the use of logic to verify their properties, in order to motivate *L**μ*. Slides for this talk can be found here.

For COMP-598, Winter semester of 2015 I wrote a survey paper on coalgebraic methods of providing semantics for modal logic. You can find it here.

### Web development

In 2014 I helped organize and give a series of 5 lessons on web development called Hack101 for HackMcGill. In particular, I wrote and gave lessons one and three. The full set of lessons can be found here.

### Physics

In the summer of 2013 I gave a talk describing the basics of quantum teleportation. Slides can be found here.