- Layout and exploration of network diagrams
- Constraint-based network layout
- Systems Biology visualisation (SBGN)
- Orthogonal layout
- Argument mapping for mathematics (proof visualisation)
Steve joined the group as PhD student in September 2012. He is working on layout and exploration of large SBGN diagrams, as well as orthogonal layout.
He is also the developer and maintainer of Proofscape, a diagrammatic library of mathematics.
Google Scholar profile: http://scholar.google.com/citations?user=xi8QBpEAAAAJ
ResearchGate profile: http://www.researchgate.net/profile/Steve_Kieffer/