The Trihelical Square Tiling
This page serves as an ongoing collection of my explorations of the trihelical square tiling.
Research
Commutativity Reasoning for the Heap (MS Thesis)
The publication of my thesis is available at https://www.proquest.com/docview/2681771819. I am proud to report that I have completed my thesis for my master’s in computer science at Stevens! You can see my presentation and paper below. Here’s a PDF of the slides, with some bonus slides at the end.
Confidentiality Enforcement via Type Abstraction
Maintaining the security of data is an essential property of many computer programs. Developers working on projects which manage confidential information will often outline “policies” which dictate how and when a program can interact with and disseminate confidential information. But how can they be certain that their program conforms to… Read More »Confidentiality Enforcement via Type Abstraction
Empirically Estimating the Dimensionality of Perceptual Face Space
The published abstract for this project is available at https://jov.arvojournals.org/article.aspx?articleid=2771208 Over the summer of 2019 I participated in some curious cognitive science research, which sought to study how many dimensions the abstract geometry of “face space” possesses within the human mind. A year later, I was set to present the… Read More »Empirically Estimating the Dimensionality of Perceptual Face Space