Projects

Recently I have become interested in a variety of topics including software development, cryptography, and data science/applied machine learning. Here are some projects I've been working on lately. All these and more are available on my github profile.

Download my Resume here.

• I am a contributor to Arklib. An open-source project to use lean to formally verify zero-knowledege protocols. This is part of the Ethereum Foundation's zkEVM Formal Verification Project. I have also been playing around with using some tools to formally verify my solutions to leetcode problems, but this has been slow-going. I will update the repo as I go.
• I made this command line application that allows you to encrypt a message with a post-quantum secure public key-encryption protocol!
• This summer I conducted this data science project with some colleagues to develop a model for predicting wind-power in Quebec, check it out here!