The Visual Modelling Group
The group’s work focuses on visual languages, often developing tool support alongside defining their theoretical underpinnings.
One of the group's main strands of research is designing new diagrammatic logics that are appropriate for practical application. These logics have included spider diagrams, constraint diagrams and, most recently, concept diagrams. In all cases, these logics have formally defined syntax and semantics and we have developed inference rules that allow sound reasoning to be performed. The group has also established expressiveness, decidability and completeness results for some of these logics and their fragments.
Visual Modelling Group website
Group members
- Academic staff: John Howse (group leader), Aidan Delaney, Ali Hamie, John Taylor, James Burton, Karl Cox, Peter Chapman, Andrew Blake, Jon Nicholson, Pat Roberts
- Research staff: Andrew Fish, Gem Stapleton, Rafiq Saleh
- Research students: Robin Clark, Mohanad Alquadah, Mithileysh Sathiyanarayan
