|
|
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.
|
|
