I am a research student at the Oxford University Computing Laboratory. My research focuses primarily on graphical models of quantum computing. I completed a bachelors of computer science and applied mathematics at the University of Tulsa in 2007. For my masters, I completed the MFoCS program at the Oxford Mathematical Institute in 2008.
My current research interests include:
- Automated graph rewriting, along with issues of confluence, termination, and boundedness
- Using computer algebra to explore Hilbert-space representations of graphs in small dimensions
- Exploring the interplay between sum introduction and elimination and matricial representations of quantum systems
