Collaboration
I am working with Prof Jan Daciuk of the Technical University of
Gdansk, Poland, on the minimization of symmetric difference
automata. I also work with a number of postgraduate students on
issues involved in generalized nondeterminism.
Previous team members
A number of students were involved in the development of the
MERLin software, including John-Paul Harper, Stewart Duncan,
Jeanette Engelmohr, Lesley Raitt, Barney de Villiers, and
Ryan Wedlake.