Tim Porter's Home Page 
Please note:
This is a picture of a on a
torus,
not a picture of myself: T.P.
If you really want to see what I look like see the end of this home
page!

Communication
Mail: Emeritus Professor Tim Porter,
School of Computer Science,
University of Wales, Bangor,
Dean St.,
Bangor,
Gwynedd LL57 1UT.
UK.
Phone: (01248)382492
Fax: (01248)358811
Email: t.porteratbangor.ac.uk
Research Interests:
Whilst the mathematics group still existed as a formal entity at Bangor, I was a member of the Algebraic Topology, Category Theory and their
applications research group. Within those areas, my interests
include:  Algebraic Topology, and Homotopical Algebra and their applications, including
 Category theory, including:
Extending the applications slightly leads to my other interests:  AI
and Theoretical Computer Science, including Multiagent Systems,
Discrete event systems and Scheduling Problems.
 I am a member of the AIIA
research group, that is Artificial Intelligence and Intelligent
Agents, and several papers in the area can be found amongst my
preprint and publication lists.
 With a group based in Paris and Montpellier, I have been
involved in a joint research project: Simplicial and cubical sets
and Knowledge evolution in Distributed Systems. More details of
this can be found here.
 Mathematical
models for multiagent systems The use of modal logics here has also
formed a part of my search for good mathematical models for multiagent
systems (MAS). Such a project is, of course, doomed to failure as the
area of MASs is much to wide and varied, however with the idea of going
from locally interacting agents communicating with other similar
groups, and exploiting `localtoglobal' techniques from various parts
of mathematics, some progress looks to be possible. .
 Geometry
of Information: This grew out of the fractafolds project.
Some indication of what I mean by the title can be gained from the
report on that project (see `fractafolds'
above) and
also the papers on the Dagstuhl website ( http://drops.dagstuhl.de/portals/04351/).
 Topological
Data Analysis (TDA) has recently emerged from the general area of
Computational Topology. In this project, we will examine not only TDA
itself, but will attempt to put it in a historical context by
identifying precursor theories both in algebraic topology and,
surprisingly, within theoretical physics. The reason for doing this is
not just to be scholarly, but is also to, hopefully, suggest some
additions to the toolkit of TDA, which might thus widen its
applicability. This, in turn, raises new questions both within TDA
itself, and also within the related mathematical area of Shape
Theory. Here
are some slides that I prepared for a talk at Aberystwyth (11 November
2005).<\p>
This has been augmented recently (2008) by my work in NUI, Galway as SFIWalton visitor. Working with Graham Ellis and the HAP research team there, we have been attempting to use the packages and ideas from the group of libraries developed for homological algebra and computational algebraic topology, (GAP, HAP,and Kenzo). I am preparing a set of notes outlining possible links bewteen the methods of TDA, those of the computational algebraic topologists and more distant work on statistical shape by Kendall and others.
Some of these interests are linked by various themes including that
of Grothendieck's sketched programmes on Pursuing Stacks and
his Esquisse d'un programme. These were described in part in
the research programmes: Algebraic
homotopy, Galois theory and Descent (joint with Coimbra, Portugal
and the Georgian Academy of Sciences) and Descent
Theory and its Higher Dimensional Analogues
List
of publications.
Publication
areas
Preprints:
Curriculum
Vitae.
Editorial positions:
Journal of Ktheory
Cahiers de Topologie et
Geometrie Differentielle categorique
Extracta
Mathematicae
Journal of Homotopy
and Related Structures.
Recent Grants:
INTAS grant: Algebraic
homotopy, Galois theory and Descent (joint with Coimbra, Portugal
and the Georgian Academy of Sciences)
Treaty of Windsor: Descent
Theory and its Higher Dimensional Analogues
Alliance /EGIDE : Simplicial
and Cubical Sets and Knowledge Evolution in Distributed Systems
Other information
Useful links
Please note:
This is a picture of me: T.P.
University of Wales, Bangor, Links
University of Wales, Bangor, Homepage
This page was last modified on 26102005. T.P.