Projects I'm Currently Working on
Master's Thesis
Based on the field of leakage resilient cryptography, my master's thesis aims to formally verify this field. Of course, this a very broad statement, so my thesis aims to show - as of right now, it may expand it the future - an implementation of the auxiliary input method through a proof assistant and a static code analysis of the auxiliary input method.
Phoenix - A Proof Assistant
A project originally conceived to build a proof assistant on a calculator for a Hackathon (which won us third place overall), this proof assistant uses Riehl-Shulman Simplicial Type Theory to prove theorems about Free Probability.
Studying for the (Japanese Language Proficiency Test) JLPT N1
For the past 8 years, I have been studying Japanese on and off with many, many difficulties towards learning it. With it's difficulty has come numerous benefits for seemingly unrelated problems. This December, I plan to finally show that I have mastered this language by taking the highest level fluency exam.
A Witch's Guide to the Theory of Computation
A "textbook" designed to teach theory of computation. Designed to be more like a game that teaches you theory of computation along the way.
Research Under Dr. Cheyne Glass
Now 3 years in the making, we are working towards writing a paper to create blending models for homotopy-theoretic least squares regression.
Future Diary: the 13th Diary Owner Translation
A game released for one of my favorite animes and has never been translated. Over the past couple of years, one of my best friends - Ayden - and I have working to deobfuscate and decompress the game's files using the game's proprietary methods to work on a translation.
Dormouse Terminal
A project conceived because my favorite music player started taking 5 minutes (seriously) to load less than 10 albums. This project takes the emulation out of terminals and makes a terminal that acts as a modern window which can execute shell commands.