About Me

Having discovered my passion for coding thanks to BSD Education (formerly known as BSD Academy), I am now a Year 3 undergraduate at The Hong Kong University of Science and Technology majoring in Computer Science and Engineering. My current interests are in the fields of functional programming and the formalization of various theories in mathematics and computer science using the Coq proof assistant.

I am currently most active on both GitHub and Codewars. You can also find my other online profiles through the "Contact" section of this website. If you want to leave me a private message, feel free to use the contact form in the "Contact" section of this website or send an email directly to i dot donaldl at me dot com.