Dr Gem Stapleton

Dr Gem Stapleton is a Reader in Computer Science at the University of Brighton with expertise in diagrammatic logics and information visualization where she is Director of the Visual  Modelling Group.

Seeking PhD students
if you want to study for a PhD with me, please get in touch. I have spaces for new students starting next academic year. Some possible projects can be found here, but many other projects are possible.

Gem's Google Scholar page is here.

** Diagrams 2018 **

The Diagram 2018 conference will take part in Edinburgh, with papers due in November 2017. Check out the website for more details. It will be co-located with ICCS 2018!

News September 2016: Gem's Leverhulme Trust project, in collaboration with Mateja Jamnik at the University of Cambridge,  entitled Accessible Reasoning with Diagrams project began. Yuri Sato joined her team at Brighton, taking up the post-doc position. You can read about the project here

Further news can be found here.

Gem's major contributions to diagrammatic logics research include developing sound and complete sets of inference rules for Euler diagrams, spider diagrams, and constraint diagrams. In order to bring this research to life, she has collaboratively developed theorem proving technology to support their use. This research demonstrates that it is possible to devise fully formal diagrammatic proofs automatically. A spider diagram theorem prover is now integrated in to the University of Cambridge's Diabelli theorem prover.

In order to take research on diagrammatic logics to a level suitable for practical application, Gem is now pushing the boundaries of what can be expressed diagrammatically through the development of concept diagrams. This research affords diagrams with the expressive power of second-order logic, making concept diagrams suitable for a wide range of modelling and specification tasks. Of particular interest to Gem is their application to ontology engineering. To-date, this research has delivered real-world impact at Nokia, where concept diagrams have been used for devising ontologies concerning privacy.

In the information visualization area, Gem's contributions have made major advances on the problem of how to automatically visualize sets. The majority of this research has been on the development of algorithms for automated Euler diagram drawing. Gem devised the first algorithm that inductively draws Euler diagrams. This approach is flexible, in that it can be readily be tuned to ensure that the drawn Euler diagrams possess particular topological properties, such that the diagram's curves are simple. Her research also delivered the first fully automated approach for drawing Euler diagrams with circles, a shape known to benefit user-comprehension.