My main research interest is in formal diagrams, and I'm currently looking at ways to visualise and reason with ontologies diagrammatically.