Dr Gem Stapleton

Dr Gem Stapleton is Senior Research Associate at the University of Cambridge and an Honorary Academic at the University of Kent. Previously, she was a Reader in Computer Science at the University of Brighton where she was Director of the Visual  Modelling Group. Her expertise is in diagrammatic logics and information visualization.

Gem's Google Scholar page is here.

** Diagrams 2018 **

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

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.