Curriculum Vitae
Name - William Arthur Naylor
Date of birth - 6th October 1968
Country of birth - Canada
Nationality - British/Canadian
Current occupation - Visiting lecturer: Victoria University of
Wellington, New Zealand.
Field of Expertise - Symbolic Computation
| Work Address - |
|
| |
Room 329, |
| |
The School of Mathematical and Computing Sciences, |
| |
Victoria University, |
| |
P. O. Box 600, |
| |
Wellington, |
| |
New Zealand |
Telephone - 064-4-4635936
| Home Page - |
|
| |
http://www.mcs.vuw.ac.nz/~bill/ |
| Institution |
Qualifications Gained |
Date of attendance |
| University of Bath |
PhD entitled: |
- 2000 |
| |
`Polynomial GCD Using Straight Line Program
Representation'. |
|
| |
See section 4 |
|
| University of Bath |
MSc in Symbolic Computation with honours |
- 1993 |
| University of Bath |
BSc in Computing & Mathematics with honours |
- 1992 |
| Olchfa Comprehensive School |
4 A' level passes |
- 1987 |
| Bishopston Comprehensive School |
10 O'level passes |
- 1985 |
My past employment may be itemised as follows:
- November 2002 - present; Fixed term appointment as lecturer in
computer science at Victoria University of Wellington.
- 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 6.
- 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 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.
- October 1993 - October 1995; I was employed by
Bath University on a Teaching Company Scheme working with NAG
Ltd. The work involved:
- 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.
- October 1990 - October 1991; I completed a years placement working for the
software house 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.
Synopsis of my PhD
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.
- Conventional languages: Fortran, Pascal, Java, Javascript, C, Perl.
- Computer algebra related languages: Lisp, Aldor, Maple, Reduce.
- XML languages (applications): OpenMath, XSL(T), MathML.
- Miscellaneous: LATEX, HTML, shell script (bash).
Current Research Interests
Current research interests and activities include:
- Ongoing active interest in the OpenMath project and its
successor MONET.
- Providing various implementations and encodings in the Aldor
computer algebra system. These include (but are not limited to):
- Unicode encodings, including UTF8, UTF16, etc. at a machine level,
- an XML DOM hierarchy, on top of the aforementioned
encodings,
- translation between MathML/OpenMath objects and Aldor
objects,
- domains for representing and performing calculations with
structured matrices,
- a Monte-Carlo category structure in Aldor, which allows the
probability of incorrectness to percolate through the structure,
- straight line programs including nodes for exponential,
logarithmic and radical functions (which is correct modulus the
Uniformity Conjecture, D.Richardson),
- developing Content Dictionaries (CDs). Specifically:
- Special Function CDs,
- Developing methods for automatic CD generation (using XSLT
stylesheets and utilising the Aldor system).
- 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).
- use of Java servlets for processing of OpenMath expressions,
running the Java servlet engine Tomcat.
My teaching experience includes the following:
- Teaching the third level course ``Design and Analysis of
Algorithms'' (March to June 2003) at Victoria University of Wellington.
- Teaching the first level course ``Introduction to Data
Structures and Algorithms'' (twice in 2003) at Victoria
University of Wellington.
- Part of the team teaching CS 422b/539b (Foundations of Computer
Algebra), 2000 - 2001 at UWO (under Dr. Ilias Kotsireas, head instructor).
- A one week workshop for senior honours students at the
University of Western Ontario teaching the basics of XML, MathML and
OpenMath.
- Three years of tutoring computer courses at the University of
Bath, to undergraduate honours students.
- Designing and teaching a course on the Aldor programming language at
the Universidad d'Ingenieros de Madrid, to professors from that
institution.
- Polynomial GCD Using Straight Line Program Representation,
PhD Thesis, University of Bath, 2000.
- Report on various Zero Structure Decompositions, MSc
dissertation, University of Bath, 1993.
- 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.
- Meta-stylesheets for the conversion of mathematical
documents into multiple forms, joint author S.Watt, presented
at the Mathematical Knowledge Management conference 2001.
http://www.risc.uni-linz.ac.at/conferences/MKM2001/Proceedings
/naylor.ps
Also published in the Special Issue on Mathematical Knowledge
Management of the Annals of Mathematics and Artificial
Intelligence vol. 38 Nos. 1-3, May 2003.
- On the relationship between OpenMath and MathML, joint
author S.Watt, proceedings IAMC 2001.
http://icm.mcs.kent.edu/research/iamc2001.papers/nay.ps.gz
- A physical Application of Computer Algebra, joint author
Meikle, I.D., T.C.S. seminar, for the application of advanced I.T. 1994.
- Units and Dimensions in OpenMath, September 16 2003, J. H. Davenport,
W. Naylor:
http://monet.nag.co.uk/cocoon/openmath/documents/Units.pdf
- Conversion Between MathML and OpenMath, D. Carlisle,
J. Davenport, M.Dewar, N. Hur, W. Naylor. OpenMath deliverable 1.2.7:
http://www.nag.co.uk/projects/openmath/final/reports/ommml.pdf
- A Monte-Carlo Extension to a Category-Based Type System,
joint author J.H. Davenport.
- A Symbolic Interface for an advanced hyperbolic PDE
solver.
- 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.
- A Monte-Carlo Extension to a Category-Based Type System,
published as a poster at ISSAC 2000.
- A Symbolic Interface for an advanced hyperbolic PDE
solver published as a poster at ISSAC 1995.
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.
Curriculum Vitae
This document was generated using the
LaTeX2HTML translator Version 2002-2-1 (1.70)
Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -split 0 CV2.tex
The translation was initiated by Bill Naylor on 2003-10-24
Bill Naylor
2003-10-24