I completed my master's essay in spring 2016 under the
supervision of
Rahim Moosa;
I studied applications of model theory to the study of formal
languages.
In winter 2016, I took PMATH 945, a topics course in category
theory and homological algebra. For the final project, I wrote
a paper on monads, algebras over monads, and an interpretation of
the latter via universal algebra.
In fall 2013, I took CS 758, a course in cryptography and
network security. For the final project, Eddie Cheung, Patrick
Lee, and I wrote a paper on secure computations using playing
cards. The paper gives a broad overview of the field, presents a
new perspective on existing techniques, and presents a new
card-based algorithm for computing the AND of two bits.
I did a research term in model theory under the supervision of
Rahim Moosa
during the spring term of 2013.
This resulted in the following documents being
brought into being: