Software development: quantomatic, automated graphical reasoning tools
Recent graph-based formalisms for computation provide an abstract
and symbolic way to represent and simulate quantum information
processing. Manual manipulation of such graphs is slow and error
prone. This project employs a formalism, based on monoidal
categories, that supports mechanised reasoning with open-graphs.
This gives a compositional account of graph rewriting that preserves
the underlying categorical semantics.