VUW

Lindsay's list of Possible Projects

School of Mathematical and Computing Sciences
COMP MATH OPRE STAT
Home/~lindsay/Projects
Home
Courses
Research
People
Technical
Contact



Lindsay's list of Possible Projects

I am interested in supervising projects in various aspects of software development. The following is a brief outline of my research interests and the kinds of projects I am interested in supervising. If you would like to discuss any of these with me you can email me (lindsay@mcs.vuw.ac.nz), phone me (+64-4-463-5656, or ext 5656) or drop in (Cotton Building, Room 443). See my home page for a more general outline of my research interests, current projects and recent publications.

  • Concurrent algorithms (more)

    Design, evaluation and verification of concurrent algorithms, especially non-blocking implementation of concurrent data structures, i.e. implementing concurrent data structures without using the traditional mechanisms of locks or critical sections.

  • Semistructured data (more)

    Design and evaluation of techniques for describing XML-like data bases.

  • Industrial applications of formal specification techniques (more)
I also have more general interests in software engineering, including program visualisation, program understanding, program maintenance/evolution and safety-critical systems.