Hi there! I’m Nicholas, an aspiring researcher/developer with a BCS background from the University of Waterloo. I have back‑end development experience and an interest in AI reasoning and proof assistants.

Research Interests

My primary research interests are in AI reasoning and Proof assistants. Check out the Research section for more info about a paper I'm working on.

Back‑End Development

Check out my Projects for real‑world examples, and look at my CV for detailed company work experience.