Email: firstname.lastname@example.org, or Home Page
... an Englishman of Australian descent ... --- F. W. Lawvere
My research centers on applying category theory to practical problems in computer science. These applications range from the design of programming languages (e.g. charity) to the use of interaction categories in the specification and design of distributed and concurrent systems.
The theoretical tools I use include type theory, proof theory, (linear) logic and, of course, fundamentally category theory. I believe that if a diagram does not commute you should not draw it.
I find it fascinating that there are important practical problems to which these often esoteric tools can be applied and enjoy the process of trying to bring them over the mountain ...
... a sheep in wolf's clothes ... --- R. Woodrow
Tom Fukushima, Dave Spooner, Barry Yee, Peter Vesely, Ulrich Hensel, Marc Schroeder, and Charles Tuckey.
Return to Charity home page.