Pi Calculus Group
Project - I worked in a group to research Pi Calculus, a method
of describing concurrent systems.
Lexis Group Project - A large project which involved reworking some
Perl based software to enable students to take exams on computers. We
had to ensure that the system was secure, so students would not have
access to unauthorized resources such as the web.
Numerical Solution of
ODEs - Our group researched various methods of numerically solving
ODEs including Euler's Method and some far more advanced newer methods
like some symmetric MIRK methods (fourth and sixth order).