Technical Projects
Mathematical Projects
- Proving Program Correctness [PDF, 260KB] : A thesis which demonstrates how one may use calculational techniques to methodically design algorithms. It was completed on 23 April 2007.
Programming Projects
Here are some of the hobby programming projects I have done, with the most recently completed project showing first:
- BlockFS: A dynamic storage tiering technology for Linux. Completed in March 2008.
- Download Server [ZIP, 471 KB] : A web application that enables a user to download files from the internet and share them with other the users of a local network. It is an AJAX application with a PHP backend. Completed in February 2008.
- Nodes: a very small operating system kernel I built in the academic year 2003/2004.