Past, present & future projects
Feel free to contact be about one of my projects, or to
suggest a project. Find me on my contacts page.
Proving Functions in the GNU Multiple Precision Math Library
This is my selected third year project, supervised by
David Lester,
as part of my Computer Science degree at the University of Manchester. I will
be proving functions from the
GNU Multiple Precision Math Library (GMP)
using PVS.
Boolean Logic
www.izyt.com/BooleanLogic
During my first year at university I wrote a small boolean logic math library
in java to perform maths covered in lectures at the time. I later wrote an
applet based on the library and a tutorial on Boolean Logic to accompany it.
The tutorial is now available online.
Freode - Code sharing site
www.izyt.com/freode
The first version of my code sharing site Freode has just been put up.
I'm due to have it on it's second iteration by the end of this year.
I'll keep adding code snippets to it as I write other code and find it useful.
Hopefully I'll also find time to shift online the large archives of snippets I have.
Content Management System
www.renal.org/units
I produced a content management system from scratch for the UK Renal Association
using Perl, MySQL, HTML and CSS. It provides a simple way for renal units around
the country to have their own page in a searchable directory. It allows members
with no technical knowledge or training to keep an up-to-date and findable website
in a standard clean format. It uses a user login system to protect each page
from unauthorised editing.
Online Medical Calculator
www.renal.org/eGFRcalc/GFR.pl
I produced an interactive page to calculate the eGFR (estimated Glomerular Filtration Rate)
using blood test results, gender, age and race. The calculator allows people
to work out how well their kidneys are working. It uses perl and a simple
template system to allow simple modification of the information regarding its
use and style. It was recently recommended in the BMJ (British Medical Journal,
8 July 2006, Vol 333, page 102).
Online Teaching Module
renux.dmed.ed.ac.uk/EdREN/Teachingbits/fluids/fluids.html
I created an online teaching module in Macromedia Flash to teach Medical
Students at the University Of Edinburgh about fluid balance in patients.
|