It looks like you're new here. If you want to get involved, click one of these buttons!
Hi there everyone. Some of you may know me from the nLab or from earlier interaction here on Azimuth. I used to be in the mathematics / computer science schools at Bangor University, but `they' shut the maths section down some years ago. I still am based in North Wales.
My interests have been for a long time in the uses of category theory and homotopy theory in providing tools for the description of systems of various types. I used to use categorical models of Petri nets and Discrete Event Systems in my lectures when teaching UG maths courses.