Projects

• This website — The infrastructure design and deployment of this website. Yes, it's on the cloud :^)
• Symbolic solver — Developed during my time under the mentorship (GSoC) of Alexander Demin and Shashi Gowda.