\documentclass[12pt]{article}
\title{Curriculum Vitae}
\author{Dr. W. A. Naylor}
\hyphenpenalty=5000
\tolerance=10000
\begin{document}
\maketitle
\section{Personal Details}
{\bf Name} -- William Arthur Naylor\\
{\bf Date of birth} -- 6th October 1968\\
{\bf Country of birth} -- Canada\\
{\bf Nationality} -- British/Canadian\\
{\bf Current occupation} -- Visiting lecturer: Victoria University of
Wellington, New Zealand.\\
{\bf Field of Expertise} -- Symbolic Computation\\
\begin{tabular}{lp{3in}}
{\bf \hspace*{-0.25cm}Work Address} --&\\
&Room 329,\\
&The School of Mathematical and Computing Sciences,\\
&Victoria University,\\
&P. O. Box 600,\\ 
&Wellington,\\
&New Zealand
\end{tabular}\\

\hbox{\hspace{6mm}{\bf Telephone} -- 064-4-4635936}
\begin{tabular}{ll}
{\bf \hspace*{-0.25cm}Home Page} --&\\
&\verb+http://www.mcs.vuw.ac.nz/~bill/+\\
\end{tabular}
\section{EducationDetails}
\begin{tabular}{|p{1.5in}|p{2.5in}|c|}
\hline \hline
Institution &Qualifications Gained&Date of attendance\\
\hline \hline
University of Bath&PhD entitled:& - 2000\\& `Polynomial GCD \hbox{Using} Straight Line Program
Representation'.&\\& See section \ref{PhD synopsis}&\\
\hline
University of Bath&MSc in Symbolic Computation with honours& - 1993\\
\hline
University of Bath&BSc in Computing \& Mathematics with honours& - 1992\\
\hline
Olchfa Comprehensive School& 4 A' level passes&  - 1987\\
\hline
Bishopston Comprehensive School&10 O'level passes&  - 1985 \\
\hline

\end{tabular}
\section{Employment Details}
My past employment may be itemised as follows:
\begin{itemize}
\item November 2002 -- present; Fixed term appointment as lecturer in
  computer science at Victoria University of Wellington.
\item September 2000 -- August 2002; I was employed by
the Ontario Research Centre for Computer Algebra, at the University
of Western Ontario as a postdoctoral research fellow
under the supervision of Professor S.M. Watt. My current research
interests are detailed in section \ref{current interests}.
\item December 1999 -- August 2000; I was employed on
the OpenMath project. My foremost duty was to correct and update the
base Content Dictionaries (CDs). These are the files intended to
define {\em symbols} which represent certain basic mathematical operators
and objects in the OpenMath XML application. The base set of CDs are
specifically the CDs designed to perform alignment with the MathML
project.
\item  October 1993 -- October 1995; I was employed by
Bath University on a Teaching Company Scheme working with NAG
Ltd. The work involved:
\begin{itemize}
\item Writing a mathematical front end to aid the use of some
NAG routines designed for solving systems of hyperbolic Partial
Differential Equations. This front end system is written in the
symbolic algebra system AXIOM, and makes use of the built-in FORTRAN
generation mechanisms of AXIOM. The NAG routines require the user to
provide some fairly complex mathematical objects instantiated as
FORTRAN routines, an example being a solver for the Riemann problem
associated with the specific problem. Routines were written in the
AXIOM compiler language (Aldor) which then automatically generated
these objects.
\end{itemize}
\item October 1990 -- October 1991; I completed a years placement working for the
software house {\it Micro Automation} developing a Crane Monitoring Base Station system
(CMBS). This was a central system that performed a poll of a
number of outlying Crane Monitoring Systems (CMSs) over a radio
link. The CMBS then collated the data collected from the
CMSs, and logged any mechanical failures reported. Amongst the
technical problems addressed, it was necessary
to develop a protocol to send and receive this data.
\end{itemize}
\section{Synopsis of my PhD}\label{PhD synopsis}
My PhD work, under the supervision of Professor J. H. Davenport,
involved writing a Straight Line Program (SLP) implementation which
could be used for representing and manipulating polynomials. The
implementation was written in Aldor under the AXIOM computer algebra system
environment. Further routines to calculate gcds of polynomials
represented as SLPs were written. Much attention was paid to the
efficiency of these routines.
\section{Computer languages used}
\begin{itemize}
\item Conventional languages: Fortran, Pascal, Java, Javascript, C, Perl.
\item Computer algebra related languages: Lisp, Aldor, Maple, Reduce.
\item XML languages (applications): OpenMath, XSL(T), MathML.
\item Miscellaneous: LATEX, HTML, shell script (bash).
\end{itemize}
\section{Current Research Interests}\label{current interests}
Current research interests and activities include:
\begin{itemize}
\item Ongoing active interest in the OpenMath project and its
  successor MONET.
%\item typechecking and typeinference of OpenMath expressions in
%  collaboration with Dr. O. Caprotti (RISC - University of Linz).
\item Providing various implementations and encodings in the Aldor
  computer algebra system. These include (but are not limited to): 
\begin{itemize}
\item Unicode encodings, including UTF8, UTF16, etc. at a machine level,
\item an XML DOM hierarchy, on top of the aforementioned
encodings,
\item translation between MathML/OpenMath objects and Aldor
objects,
\item domains for representing and performing calculations with
  structured matrices,
\item a Monte-Carlo category structure in Aldor, which allows the
  probability of incorrectness to percolate through the structure,
\item straight line programs including nodes for exponential,
  logarithmic and radical functions (which is correct modulus {\em the
  Uniformity Conjecture}, D.Richardson),
\end{itemize}
\item developing Content Dictionaries (CDs). Specifically:
  \begin{itemize}
  \item Special Function CDs,
  \item Developing methods for automatic CD generation (using XSLT
  stylesheets and utilising the Aldor system).
  \end{itemize}
\item writing XSLT stylesheets for translation of XML documents to
other XML and non-XML forms, in particular translation of OpenMath
documents to MathML (content and presentation) and producing
meta-stylesheets (for construction of stylesheets).
\item use of Java servlets for processing of OpenMath expressions,
  running the Java servlet engine {\em Tomcat}.
%\item extension of the Maple module {\em XMLTools} to encorporate
%functionality which is useful for namespace aware processes (to be
%included as part of the Maple 9 release).
%\item providing interfaces between Aldor and Maple using an external
%language of MathML and utilising the XML namespace mechanism to
%provide separation of the namespaces.
%\item constructing an on line {\em OpenMath calculator} that performs
%reductions of OpenMath expressions. It has a html front end
%and utilises a Java back end for performing the underlying
%calculations, with XSLT pre-processing of the results:\\
%\verb+http://orcca.on.ca/~bill/Tmp/index.html+
\end{itemize}
\section{Teaching Experience}
My teaching experience includes the following:
\begin{itemize}
\item Teaching the third level course ``Design and Analysis of
  Algorithms'' (March to {\em June} 2003) at Victoria University of Wellington.
\item Teaching the first level course ``Introduction to Data
  Structures and   Algorithms'' (twice in 2003) at Victoria
  University of Wellington.
\item Part of the team teaching CS 422b/539b (Foundations of Computer
Algebra), 2000 -- 2001 at UWO (under Dr. Ilias Kotsireas, head instructor).
\item A one week workshop  for senior honours students at the
University of Western Ontario teaching the basics of XML, MathML and
OpenMath.
\item Three years of tutoring computer courses at the University of
Bath, to undergraduate honours students.
\item Designing and teaching a course on the Aldor programming language at
the {\em Universidad d'Ingenieros de Madrid}, to professors from that
institution.
\end{itemize}
\section{Publications}
\bibliographystyle{alpha}
\subsection{Theses}
\begin{itemize}
\item {\em Polynomial GCD Using Straight Line Program Representation},
PhD Thesis, University of Bath, 2000.
\item {\em Report on various Zero Structure Decompositions}, MSc
dissertation, University of Bath, 1993.
\end{itemize}
\subsection{Refereed papers}
\begin{itemize}
\item {\em Mappings between presentation markup and semantic
markup for variable size objects}, presented at the MathML and
Technologies for Math on the Web conference, June 2002. Chicago, Illinois.
\item {\em Meta-stylesheets for the conversion of mathematical
documents into multiple forms}, joint author S.Watt, presented
at the Mathematical Knowledge Management conference 2001.\\
\verb+http://www.risc.uni-linz.ac.at/conferences/MKM2001/Proceedings+\\
\verb+/naylor.ps+\\
Also published in the {\em Special Issue on Mathematical Knowledge
  Management} of the {\em Annals of Mathematics and Artificial
  Intelligence} vol. 38 Nos. 1-3, May 2003.
\item {\em On the relationship between OpenMath and MathML}, joint
author S.Watt, proceedings IAMC 2001.\\
\verb+http://icm.mcs.kent.edu/research/iamc2001.papers/nay.ps.gz+
\item {\em A physical Application of Computer Algebra}, joint author
Meikle, I.D., T.C.S. seminar, for the application of advanced I.T. 1994.
\end{itemize}
\subsection{Unrefereed papers}
\begin{itemize}
\item {\em Units and Dimensions in OpenMath}, September 16 2003, J. H. Davenport,
  W. Naylor:\\
\verb+http://monet.nag.co.uk/cocoon/openmath/documents/Units.pdf+
\item {\em Conversion Between MathML and OpenMath}, D. Carlisle,
J. Davenport, M.Dewar, N. Hur, W. Naylor. OpenMath deliverable 1.2.7:\\
\verb+http://www.nag.co.uk/projects/openmath/final/reports/ommml.pdf+
\item {\em A Monte-Carlo Extension to a Category-Based Type System},
joint author J.H. Davenport.
\item {\em A Symbolic Interface for an advanced hyperbolic PDE
solver}.
\end{itemize}
\subsection{Posters}
\begin{itemize}
\item {\em Interactions between OpenMath and MathML under the Maple
environment} presented as a poster at the MathML and
Technologies for Math on the Web conference, June 2002. Chicago,
Illinois.
\item {\em A Monte-Carlo Extension to a Category-Based Type System},
published as a poster at ISSAC 2000.
\item {\em A Symbolic Interface for an advanced hyperbolic PDE
solver} published as a poster at ISSAC 1995.
\end{itemize}
\section{Personal Hobbies and Interests}
Sporting hobbies in which I pursue an active interest include rock
climbing and cave exploration.\\
Amongst my non-sporting hobbies, I play the Highland bagpipes.
\end{document}