Tim Porter

Here is my nLab page, that explains a lot.

Some years ago, about 2005 I used to teach Operational Research and related topics at undergraduate level. I introduced methods of Petri nets and discrete event systems to the students and tried where possible to suggest the links between modularisation of processes and systems, and ideas from algebra and logic and in particular category theory (although that term was barely mentioned, just some of the ideas). I was developing links with AI and modal logics and also with directed algebraic topology for modelling concurrent systems, but THEY (there is always a THEY somewhere around) shut the department and I was retired.

I continue to work on a few of these themes, but also on more n-Labby areas, for which look at my n-Lab entries.