Dr Andrew Fish MMath, PhD

Senior Research Fellow

contact:
Computing, Engineering and Mathematics
Moulsecoomb
Brighton
BN2 4GJ

Telephone: +44 (0)1273 642534

Email: Andrew.Fish@brighton.ac.uk

Personal web page

Links to: Projects, Activities, Research Interests, Biography, Publications, and Teaching information.

Projects

• NEW/CURRENT: EPSRC funded project ADIGE: Automatic Diagram Generation. Role: Principal Investigator. Please contact me for more details.
• EPSRC-funded “Visualisation with Euler diagrams” project. Role: Coauthor and Researcher Co-Investigator.
• EPSRC-funded “Reasoning with Diagrams” project (joint project with the University of Kent), which received “Outstanding” overall reviews from the panel. Role: Main Researcher.

Activities

I have been an active member of the program commitee for the IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC) in 2006, 2007, 2009, 2010, 2011 and 2012, and served on the PC for Visual Languages and Computing in 2008 , 2009 and 2010. Additionally, I have performed extra reviewing duties for conference series such as Diagrams and InfoVis, and journals including: Visual Languages and Computing, Spatial Cognition and Computation, Artificial Intelligence Review, IEEE Software, IEEE Transactions on Software Engineering, Software and Systems Modelling.

Together with co-chair Leen Lambers, I was general chair for GT-VMT 12, associated with ETAPS 2012 in Tallinn, Estonia. I co-founded Visual Languages and Logic and the Layout of Software Engineering Diagrams, both of which have been associated with the IEEE Symposium on VL/HCC, and chaired Visual Languages and Logic in 2007 and in 2009, and the Layout of Software Engineering Diagrams workshop in 2007 and 2008. I was a guest editor for a special issue of the Journal of Visual Languages and Computing on Visual Languages and Logic (Volume 22, Issue 1 (2011), pages 1-106). I was the publicity chair for Diagrams 2008, and Workshops/Tutorials Chair for VL/HCC 2010.

Research Interests

My main research interests mainly lie in the field of visual languages. More specifically, in the multi-disciplinary area of formal diagrammatic systems, with a focus on the development and formalisation of diagrammatic systems used for expressing logical statements.  These systems can aid in the presentation of simple information in an accessible manner, or more complex systems can be used for software specification and reasoning. Alongside the formal aspect, I am interested in testing the human perception and usage of diagrams.  I am also interested in Knot Theory, a well-established field of mathematics research with numerous applications in science. 

Biography

I am a Senior Research Fellow in the School of Computing, Engineering and Mathematics. In 1998, I obtained an MMath with class I honours from the University of Warwick and then in 2002 I obtained my PhD in Mathematics (Geometric Topology) from the University of Warwick under the supervision of Prof. Colin Rourke. In 2007, I also completed an MSc in Software Engineering at the University of Brighton.    From Jan 2008-Jan 2012 I was a director of Braemore Court Investments Ltd. I am a member of the Visual Modelling Research Group at Brighton.

Selected Publications

Preliminary version of many of my publications can be found via links below. Please contact me if you cannot access any of them and would like a copy.

2012

• Andrew Fish and Leen Lambers (eds). Proceedings of Graph Transformation and Visual Modeling Techniques 2012, ECEASST, volume 47, 2012.
• Paolo Bottoni, Gennaro Costagliola and Andrew Fish. Euler Diagram encodings. In Proceedings of the 7th international conference on the Theory and Application of Diagrams, Lecture Notes in Computer Science, Volume 7352, pages 148-162, 2012.
• Gennaro Cordasco, Rosario De Chiara and Andrew Fish. The online abstraction problem for Euler Diagrams. In Proceedings of Euler diagrams, CEUR Vol-854, pages 62-76, 2012.
• Gennaro Cordasco, Rosario De Chiara, Andrew Fish and Vittorio Scarano. FunEuler: an Euler Diagram based Interface Enhanced with Region-based Functionalities. In Proceedings of Euler diagrams, CEUR Vol-854, pages 107-121, 2012..

2011

• Andrew Fish, Babak Khazaei and Chris Roast. User Comprehension of Euler Diagrams. Journal of Visual Languages and Computing, volume 22, issue 5, pages 340-354, October 2011.
• Gennaro Cordasco, Rosario De Chiara and Andrew Fish. Efficient on-line algorithms for Euler diagram region computation. Computational Geometry: Theory and Applications, volume 44, issue 1, pages 52–68, 2011. DOI: 10.1016/j.comgeo.2010.07.003. Available online.
• Phil Cox, Andrew Fish and John Howse. Guest editors' introduction. Journal of Visual Languages and Computing, Special Issue on Visual Languages and Logic, volume 22, number 1, February 2011.
• Paolo Bottoni and Andrew Fish. A visual language for temporal specifications based on Spider diagrams. Graph Transformation and Visual Modeling Techniques, ECEASST, volume 41, pages 1-15, 2011.
• Paolo Bottoni, Gennaro Cordasco, Rosario de Chiara, Andrew Fish and Vittorio Scarano. Personalised Resource Categorisation using Euler Diagrams. In International Symposium on End-User Development (ISEUD 2011), LNCS 6654, pages 251-257, 2011.
• Robin Clark, Andrew Fish, Chris Garrett, and John Howse. Developing a Rigorous Bottom-Up Modular Static Failure Modelling Methodology. 6th IET International Conference on System Safety, 2011.

2010

• Paolo Bottoni, Andrew Fish and Francesco Parisi-Presicce. Incremental update of constraint-compliant policy rules. Graph Computation Models, ECEASST, volume 39, pages 1-19, 2010.
• Andrew Fish, Ali Hamie and John Howse. Visual Specification Patterns. Visual Formalisms for Patterns, ECEASST, volume 31, pages 1-15, 2010.
• Paolo Bottoni and Andrew Fish. Coloured Euler diagrams: a tool for visualizing dynamic systems and structured information. In Proceedings of the 6th International Conference on the Theory and Application of Diagrams, Portland, USA, LNAI 6170, pages 39–53, 2010.
• Paolo Bottoni, Andrew Fish and Francesco Parisi-Presicce. Preserving constraints in horizontal model transformations. In Graph Transformations and Visual Modelling Techniques, Volume 29 of the ECEASST journal, pages 1-14, 2010.

2009

• Philip Cox, Andrew Fish and John Howse. Proceedings of Visual Languages and Logic 2009, Corvallis, USA, September 2009. Volume 510 of the CEUR Series. 
• Gennaro Cordasco, Rosario De Chiara and Andrew Fish. Interactive Visual Classification with Euler Diagrams. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing 2009, pages 185-192, IEEE Press, 2009.
• Andrew Fish. Euler Diagram Transformations. In Graph Transformations and Visual Modeling Techniques, Volume 18 of the ECEASST journal, 2009. 

2008

• Jean Flower, Andrew Fish and John Howse. Euler Diagram Generation. Journal of Visual Languages and Computing, volume 19, issue 6, pages 675-694, Elsevier, 2008. DOI: 10.1016/j.jvlc.2008.01.004. Available online.
• Andrew Fish and Harald Störrle. Proceedings of Layout of Software Engineering Diagrams 2008, Germany, September 2008. Volume 13 of the ECEASST journal. 
• Rosario De Chiara and Andrew Fish. EulerView: article organisation within the ACM. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing 2008, pages 93-100, IEEE Press, 2008.
• Andrew Fish and Jean Flower. Euler Diagram Decomposition. In Proceedings of the 5th International conference on Diagrams 2008, Lecture Notes in Artificial Intelligence 5223, pages 28-44, Springer, 2008.
• Andrew Fish, Chris John and John Taylor. A Normal Form for Euler Diagrams with Shading. In Proceedings of the 5th International conference on Diagrams 2008, Lecture Notes in Artificial Intelligence 5223, pages 206-221, Springer, 2008.
• Peter Rodgers, Leishi Zhang and Andrew Fish. General Euler Diagram Generation. In Proceedings of the 5th International conference on Diagrams 2008, Lecture Notes in Artificial Intelligence 5223, pages 13-27, Springer, 2008.
• Frithjof Dau and Andrew Fish. Conceptual Spider Diagrams. In Proceedings of the 16th International Conference on Conceptual Structures 2008, Lecture Notes in Computer Science 5113, pages 104-118, Springer, 2008.
• Rosario De Chiara and Andrew Fish. Eulicious: Euler diagrams for delicious. In Proceedings of the 12th International Conference on Information Visualisation, pages 632-637, IEEE Computer Society, 2008.
• Peter Rodgers, Leishi Zhang, Gem Stapleton and Andrew Fish. Embedding Wellformed Euler Diagrams. In Proceedings of the 12th International Conference on Information Visualisation, pages 585-593, IEEE Computer Society, 2008.
• Rosario De Chiara, Andrew Fish and Salvatore Ruocco. Eulr: a Novel Resource Tagging Facility Integrated with Flickr. In Proceedings of Advanced Visual Interfaces Conference 2008, pages 326-330, ACM press, 2008.
• Andrew Fish, Babak Khazaei and Chris Roast. Exploring human factors in formal diagram usage. In Proceedings of Engineering Interactive Systems conference 2007, pages 432-448, LNCS 4940, 2008. 
• Gem Stapleton, Andrew Fish and Peter Rodgers. Abstract Euler diagram isomorphism. In Proceedings of 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing workshop, Boston, USA, pages 310-317, Knowledge Systems Institute, 2008.

2007

• Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish and Jane Southern. Automated Theorem Proving in Euler Diagram Systems. Journal of Automated Reasoning, volume 39, number 4, pages 431-470, December 2007.
• Philip Cox, Andrew Fish and John Howse. Proceedings of Visual Languages and Logic 2007, Idaho, USA, September 2007. Volume 274 of the CEUR Series. 
• Andrew Fish, Alexander Knapp and Harald Störrle. Proceedings of Layout of Software Engineering Diagrams 2007, Idaho, USA, September 2007. Volume 7 of the ECEASST journal. 
• Andrew Fish and Harald Störrle. Visual qualities of the Unified Modeling Language: Deficiencies and Improvements. In Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing 2007, IEEE, pages 41-49, 2007. 
• Rosario De Chiara and Andrew Fish. EulerView: a non-hierarchical visualization component. In Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing 2007, IEEE, pages 145-152, 2007. 

2006

• Andrew Fish and Ebru Keyman. Jones Polynomial Invariants. Journal of Knot Theory and its Ramifications, volume 15, issue 3, pages 339-350, World Scientific Publishing Company, 2006.
• Chris John, Andrew Fish, John Howse and John Taylor. Exploring the notion of clutter in Euler Diagrams. In Proceedings of the 4th International conference on the Theory and Application of Diagrams, Stanford, Lecture Notes in Artificial Intelligence 4045, pages 267-282, Springer, 2006.
• Andrew Fish and Gem Stapleton. Defining Euler Diagrams: simple or what? In Proceedings of the 4th International conference on the Theory and Application of Diagrams, Stanford, Lecture Notes in Artificial Intelligence 4045, pages 109-111, Springer, 2006.
• Andrew Fish and Gem Stapleton. Formal Issues in Languages Based on Closed Curves. In Proceedings of the 12th International Conference on Distributed Multimedia Systems, international workshop on Visual Languages and Computing, Grand Canyon, USA, pages 161-167, Knowledge Systems Institute, 2006. 

2005

• Andrew Fish, Jean Flower and John Howse. The semantics of Augmented Constraint Diagrams. Journal of Visual Languages and Computing, volume 16, issue 6, pages 541-573, Elsevier, 2005.
• Andrew Fish and Judith Masthoff. An empirical study into the default reading of Constraint Diagrams. In Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing 2005, Dallas, Texas, IEEE, pages 287-289, 2005.
• Gem Stapleton, Simon Thompson, Andrew Fish, John Howse and John Taylor. A new language for the visualisation of logic and reasoning. In Proceedings of international workshop on Visual Languages and Computing 2005, Banff, Canada, Knowledge Systems Institute, pages 263-270, 2005.
• Andrew Fish and Jean Flower. Abstractions of Euler Diagrams. In Proceedings of 1st International Workshop on Euler Diagrams 2004, Brighton, UK, Electronic Notes in Theoretical Computer Science 134, pages 77-101, Elsevier, 2005.  
• Andrew Fish and Jean Flower. Investigating reasoning rules for Constraint Diagrams. In Proceedings of international workshop on Visual Languages and Formal Methods 2004, Rome, Italy, Electronic Notes in Theoretical Computer Science 127, pages 53-69, Elsevier, 2005.

2004

• Andrew Fish and John Howse. Towards a default reading for Constraint Diagrams. In Proceedings of the 3rd International Conference on the Theory and Applications of Diagrams 2004, Cambridge, UK, Lecture Notes in Artificial Intelligence 2980, pages 51-65, Springer, 2004.

2003

• Andrew Fish and John Howse. Computing Reading Trees for Constraint Diagrams. In Proceedings of Applications of Graph Transformations with Industrial Relevance conference, Virginia, USA, Lecture Notes in Computer Science 3062, pages 260-274, Springer, 2003.
• Andrew Fish, Jean Flower and John Howse. A reading algorithm for Constraint Diagrams. In Proceedings of IEEE Symposium on Human-Centric Computing, Languages and Environments, Auckland, New Zealand, IEEE, pages 161-168, 2003. Voted one of the best papers in the Visual Languages and Formal Methods strand.

Other publications

• Peter Rodgers, John Howse and Andrew Fish. Visualization with Euler diagrams. 3 year funded EPSRC grant proposal (from Jan 2007).
• Andrew Fish. M.Sc. thesis in Software Engineering, University of Brighton, 2007.
• Andrew Fish and Ebru Keyman. Classifying classical links under fused isotopy. Preprint available at: http://arxiv.org/abs/math/0606198 .
• Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish and Jane Southern. Appendices for Automatically Generating Proofs in Euler Diagram Systems. Technical Report VMG.06.2, University of Brighton, 2006.
• Richard Bozworth, Andrew Fish, John Howse, Gem Stapleton, John Taylor, Peter Rodgers and Simon Thompson. Euler-based notations. Technical Report VMG.06.1, University of Brighton, 2006.
• John Howse, Richard Bosworth, Andrew Fish , John Taylor, Peter Rodgers, Gem Stapleton and Simon Thompson. Reasoning with Diagrams: Final Report, 2005. Awarded outstanding overall assessment by EPSRC.
• Andrew Fish and Gem Stapleton. Defining Euler Diagrams: choices and consequences. Extended abstract at 2nd International workshop on Euler Diagrams 2005, Paris, France, pages 34-37, 2005.
• Andrew Fish, John Howse, Gabrielle Taentzer and Jessica Winkleman. Two visualisations of OCL: A comparison. Technical Report VMG.05.1, University of Brighton, 2005.
• Andrew Fish and Judith Masthoff. Do monkeys like elephants or do elephants watch monkeys? An empirical study into the default reading of constraint diagrams. Technical Report VMG.05.2, University of Brighton, 2005.
• Andrew Fish. Braid Variants and their Applications. Ph.D. thesis in Mathematics (Geometric Topology), University of Warwick, 2002.

Teaching

In 2011-12, I am teaching the following mathematics and computing modules:

• MM254 Algebra and Analysis, MM346 Graph Theory and its Applications and MM358 Topics in Topology.
• CI311 Specification and Refinement, SWM40 Algorithms and Computability and SWM42 Specification, Verification.

Previously, at the Universities of Brighton and Warwick, I have taught modules on topics including: Engineering Mathematics, Linear Algrebra, Analysis, Topology, Knot Theory, Models of Computation, and Object Oriented Modelling and Reasoning.

PhD students:

• Chris John obtained his doctorate entitled "Measuring and reducing clutter in spider diagrams with projections" in 2007 (co-supervised with John Howse and John Taylor).
• Robin Clark is a part-time student investigating the use of diagrams in safety critical systems.

Publications from the document repository