I am a PhD student of John Power and Guy McCusker in the Mathematical Foundations group in the Department of Computer Science at the University of Bath.

In terms of reasearch, I am interested in graphical calculi for monoidal categories and diagrammatic approaches to game semantics.

Before my PhD I was a research assistant with the Neurolex group led by William Marslen-Wilson at the MRC CBU. Before that I did a master's degree in pure mathematics at the University of Cambridge. And before that a bachelor's degree at the University of Warwick.

Here is an approximately up-to-date CV.

Seminars and teaching

Workshop on Algebra, Coalgebra and Topology (part of the Wessex Theory Seminar)
I am a local organiser for the Workshop on Algebra, Coalgebra and Topology, which is to be held at Bath on Friday 1st March 2013. The workshop will have proceedings published in ENTCS. Go to the workshop's website to find details of how to attend and offer talks.
Mathematical Foundations Seminar Series (2011–2012)
As of 2011–2013, I am the Bath organiser for the Mathematical Foundations Seminar Series. These are fortnightly, held in conjunction with Swansea University via an Access Grid telepresence link.
XX10190: Programming and Discrete Mathematics
I TA'd the course XX10190: Programming and Discrete Mathematics for a couple of years. Students wanting help with Matlab or problem sheets should primarily speak to the course lecturer, but can also or talk to me in class. As of academic year 2012–2013 I'm no longer teaching this class.

Talks

Mathematical Foundations of Programming Semantics, 28th annual conference, Bath University (June 2012)
"A graphical foundation for schedules". Slides [pdf].
Young Researchers in Mathematics, Bristol University (April 2012)
"Graphical notation schemes". Slides [pdf].
Mathematical Foundations seminars, Bath–Swansea (March 2012)
"A graphical foundation for schedules". Slides [pdf].
Category Theory seminars, Bristol University (2011–2012)
Several talks, including "Universals and constructions on categories" and "Tortile tensor categories and other graphical notation schemes".
Mathematical Foundations seminars and Postgraduate Research seminar, Bath University (November 2011)
"Graphical notation schemes: a picture is worth a thousand binary tensor words".
Logic and Semantics seminars, Bath University (2011)
A series of talks on graphical notation for monoidal categories, based on the work of Joyal and Street. Lecture notes [pdf].

Publications: Mathematics

  • “A graphical foundation for schedules”, Guy McCusker, John Power, Cai Wingfield. Electronic Notes in Theoretical Computer Science, 286, pp. 273–289. Elsevier, 2012. Link, Bath Opus library version [pdf].

Publications: Neuroscience

  • “Spatiotemporal dynamics of morphological processing: an MEG/EEG investigation”, Elisabeth Fonteneau, Mirjana Bozic, Li Su, Cai Wingfield, Billi Randall, William Marslen-Wilson. Proceedings of the 40th Annual Meeting of the Society for Neuroscience (2010). Link.
  • “A Multimodal Approach to Representational Similarity Analysis”, Li Su, Cai Wingfield, Mirjana Bozic, Elisabeth Fonteneau, Nikolaus Kriegeskorte and William Marslen-Wilson. 16th Annual Meeting of the Organization for Human Brain Mapping (2010). Link.
  • “Characterizing lexical complexity computations in the fronto-temporal language network”, Mirjana Bozic, Li Su, Cai Wingfield, William Marslen-Wilson. 17th Annual Meeting of the Cognitive Neuroscience Society, (2010). Link.

This site may not display properly in Internet Explorer, please use a standards-compliant browser to view it if you're experiencing difficulty. I say that, but in reality this site isn't standards compliant either, so I have a certain degree of sympathy with IE. Point is, I haven't tested it in IE. All content is copyright Cai Wingfield, unless otherwise indicated. Views expressed here do not necessarily reflect those of Bath University, the EPSRC, or in fact anyone at all.