Hi! I'm Joe Bond, a PhD student / Research associate at the university of Bristol, in the Programming Languages Research Group. My research is currently focussed on graphical semantics and debugging for functional programming languages. I'm basically interested in anything related to theoretical computer science, and (although I don't get to indulge as much these days), combinatorics.
I will be delivering a seminar on my current work, on the topic of Graphical Galois Slicing at the University of Kent on November 27th, details to follow