PhD Student at University of Sheffield
Sheffield, United Kingdom
PhD Student at University of Sheffield
Sheffield, United Kingdom
I'm working on developing a process calculus, TNT, with a novel combination of discrete time and mobility. I am also a keen Free Software developer, having been working on the GNU Classpath project for the last four years.
Programming: Java, C, Haskell and can get up to speed on pretty much anything else (have dabbled in Perl, Python, C# and even VB).
(Computer Software industry)
2007 — Present (1 year)
Development work on the Free Software build harness for OpenJDK and OpenJDK6. Recently, I've been ensuring that the original IcedTea harness for OpenJDK7 keeps pace with the biweekly build drops.
(Educational Institution; Research industry)
October 2005 — Present (3 years 1 month)
I'm developing a process calculus called TNT (Typed Nomadic Time). This merges lots of concepts from various sources to create a calculus with synchronisation, discrete time via explicit clocks and both process and location mobility.
(Non-Profit; 10,001 or more employees; Computer Software industry)
June 2004 — Present (4 years 5 months)
I regularly contribute patches to the GNU Classpath project (http://www.gnu.org/software/classpath) and am an established member of the community.
(Educational Institution; 5001-10,000 employees; Research industry)
November 2005 — September 2008 (2 years 11 months)
This involves ensuring the provision of sufficient resources within the lab for new and existing students, especially desk space, in addition to general problem solving as issues arise.
(Public Company; 10,001 or more employees; JAVA; Computer Hardware industry)
2007 — May 2008 (1 year)
This role involves promoting Sun technology on campus, mainly by organising Sun technical demonstrations with appropriate speakers and liasing with students and staff.
(Educational Institution; Education Management industry)
October 2001 — June 2005 (3 years 9 months)
(Educational Institution; Internet industry)
August 2001 — March 2003 (1 year 8 months)
PhD, Computer Science, 2005 — 2008
MComp, Computer Science, 2001 — 2005
Music, History, Free Software
GNU Classpath, GCJ, Associate Member of Free Software Foundation, JikesRVM