More projects I have done:

• HenBlocks: Structured Editing for Coq
As part of my final year undergraduate Capstone project, I developed a block-based structured editor for the Coq Proof Assistant.


• Automatic Suite Allocation Program (ASAP)
As a Student Associate at my college, I devised a program using Python to automatically allocate over 250 students to rooms according to their demographics and living preferences, saving weeks of manual labour.


• Cartogram Generation Program (Summer Research Program with Asst. Prof Dr. Michael T. Gastner)
I added functionality and improved the design of a data visualisation program (https://go-cart.io) using C. The program generates cartograms, which are maps that are distorted in order for the area of a boundary to represent a certain statistic (e.g. population). I also removed bottlenecks which increased the speed of the program by up to 70%.


• Price-Setting for Second-hand Books
As one of the earliest tech employees at Thryft (a second-hand online bookstore startup), I developed an algorithm using Python to automatically set the prices of second-hand books, removing the tedious process of deciding prices by hand.