Dr Andrew Fish MMath, PhD

AG Fish
Senior Research Fellow

contact:
Computing Mathematical and Information Sciences
Watts Building
Moulsecoomb
Brighton

Telephone: +44 (0)1273 642534

Email: Andrew.Fish@brighton.ac.uk

Personal web page

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

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 and 2010. I also served on the PC for the Visual Languages and Computing workshop, which is associated with the International Conference on Distributed Multimedia Systems, in 2008 and 2009. I have performed extra reviewing duties for the Diagrams conference series, as well as for the Journal of Spatial Cognition and Computation and the IEEE Software journal. I was the publicity chair for the Diagrams 2008 conference.

I am Workshops/Tutorials Chair for VL/HCC 2010. The deadline for workshop and tutorial proposals is January 11th, 2010, and the call can be found here. Please email me if you have any queries or wish to discuss possible workshop or tutorial proposals.

I have co-founded two international workshop series on Visual Languages and Logic and the Layout of Software Engineering Diagrams, both of which have been associated with the IEEE Symposium on VL/HCC. Visual Languages and Logic occurred in 2007 and in 2009. The Layout of Software Engineering Diagrams workshop ran successfully in 2007 and 2008. We plan on running both workshops on a bi-annual basis.

Currently, we are soliciting papers for a Special issue of the Journal of Visual Languages and Computing on Visual Languages and Logic. The deadline for papers is January 31st, 2010. A PDF of the call for papers can be found here.

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 the field of Knot Theory, which is a well-established field of mathematics research with numerous applications in science. 

I am a member of the Visual Modelling Research Group at Brighton.

Biography

I am a Senior Research Fellow in the School of Computing, Mathematical and Information Sciences. 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 Sept 2002 until Sept 2005 I was the main researcher at Brighton on the 3 year EPSRC-funded “Reasoning with Diagrams” project (joint project with the University of Kent), which received “Outstanding” overall reviews from the panel. Since January 2007, I have been involved with another 3 year EPSRC-funded project, called “Visualisation with Euler diagrams”, for which I was a co-author and am the recognised researcher at Brighton.   

Since January 2008 I have been a director of Braemore Court Investments Ltd.

Selected Publications (peer reviewed or editorial)

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

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 Proceedings of the 8th International workshop on 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

  • 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. 
  • 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.
  • 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. EPSRC grant proposal. Running from Jan 2007-Dec 2009
  • 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 2009-10, I am teaching on the following mathematics and computing modules:

  • MM244 Algebra and Analysis 2, MM346 Graph Theory and its Applications and MM351 Independent Study in Topology.
  • CI311 Specification and Refinement, SWM40 Algorithms and Computability and SWM42 Specification, Verification and Validation.

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

Stapleton, G., Masthoff, J., Flower, J., Fish, A. and Southern, J. (2007) Automated theorem proving in Euler diagram systems. Journal of automated reasoning. ISSN 1573-0670 (Online)

De Chiara, R. and Fish, A. (2007) EulerView: a non-hierarchical visualization component. In: IEEE symposium on visual language and human-centric computing (VL/HCC 2007). IEEE Computer Society, pp. 145-152.

Fish, A., Khazaei, B. and Roast, C. (2007) Exploring human factors in formal diagram usage. In: Engineering Interactive Systems 2007, 22-24 Mar, 2007, Salamanca, Spain.

Fish, A., Knapp, A. and Stoerrie, H. (2007) Proceedings of the workshop on the layout of (software) engineering diagrams (LED 2007), Idaho, USA, September 2007. European Association of Software Science and Technology (EASST), Berlin, Germany. ISBN 1863-2122

Cox, P., Fish, A. and Howse, J. (2007) Proceedings of visual languages and logic 2007, Idaho, USA, September 2007. Ceur Workshop Proceedings.

Fish, A. and Storrle, H. (2007) Visual qualities of the unified modeling language: deficiencies and improvements. In: IEEE symposium on visual language and human-centric computing (VL/HCC 2007). IEEE Computer Society, pp. 41-49.

Fish, A. and Stapleton, G. (2006) Formal issues in languages based on closed curves. In: Proceedings of VLC06, Visual Languages and Computing, 30 Aug - 1 Sep 2006, Grand Canyon.

Fish, A. and Keyman, E. (2006) Jones polynomial invariants. Journal of knot theory and its ramifications, 15 (3). pp. 339-350. ISSN 0218-2165

Stapleton, G., Masthoff, J., Flower, J., Fish, A. and Southern, J. (2006) Appendices for automated theorem proving in Euler diagram systems. Technical Report. University of Brighton, Brighton, UK.

Fish, A. and Stapleton, G. (2006) Defining Euler diagrams: simple or what? In: Diagrammatic representation and inference: fourth international conference, Diagrams 2006. Stanford, CA, USA, June 28-30: proceedings. Lecture notes in computer science, 4045/2006. Springer, Berlin, Germany, pp. 109-111. ISBN 9783540356233

Howse, J., Bosworth, R., Fish, A., Stapleton, G., Taylor, J., Rodgers, P. and Thompson, S. (2006) Euler diagram-based notations. Technical Report. University of Brighton, Brighton, UK.

John, C., Fish, A., Howse, J. and Taylor, J. (2006) Exploring the notion of clutter in Euler diagrams. In: Diagrammatic representation and inference: fourth international conference, Diagrams 2006. Stanford, CA, USA, June 28-30: proceedings. Lecture notes in computer science, 4045/2006. Springer, Berlin, Germany, pp. 267-282. ISBN 9783540356233

Fish, Andrew and Flower, Jean (2005) Abstractions of Euler diagrams. Electronic notes in theoretical computer science, 134. pp. 77-101. ISSN 1571-0661

Fish, Andrew and Flower, Jean (2005) Investigating reasoning with constraint diagrams. Electronic notes in theoretical computer science, 127 (4). pp. 53-69. ISSN 1571-0661

Stapleton, G., Thompson, S., Fish, A., Howse, J. and Taylor, J. (2005) A new language for the visualisation of logic and reasoning. In: Proceedings of 11th international conference on distributed multimedia systems, international workshop on visual languages and computing. Knowledge systems institute, Banff, Canada, pp. 287-292.

Fish, A. and Masthoff, J. (2005) An experimental study into the default reading of constraint diagrams. In: Proceedings of Visual Languages and Human Centric Computing (VLHCC05), 20-24 Sep 2005, Dallas, USA.

Fish, A. and Masthoff, J. (2005) Do monkeys like elephants or do elephants watch monkeys? An empirical study into the default reading of constraint diagrams. Technical Report. University of Brighton.

Fish, A., Flower, J. and Howse, J. (2005) The semantics of augmented constraint diagrams. Journal of visual languages and computing, 16 (6). pp. 541-573. ISSN 1045-926X

Fish, A., Howse, J., Taentzer, G. and Winkelmann, J. (2005) Two visualizations of OCL: a comparison. Technical Report. University of Brighton.

Fish, A. and Howse, J. (2004) Computing reading trees for constraint diagrams. In: Hosking, J. and Cox, P., ed. Applications of graph transformations with industrial relevance: second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, revised selected and invited papers. Lecture notes in computer science, 3062/2004. Springer-Verlag, Berlin, Germany, pp. 260-274. ISBN 9783540221203

Fish, A., Flower, J. and Howse, J. (2003) A reading algorithm for constraint diagrams. In: Hosking, J., ed. IEEE symposium on human centric computing languages and environments, Auckland, New Zealand, October 2003. IEEE Computer Society, pp. 161-168. ISBN 0780382250

This list was generated on Tue Feb 9 17:30:59 GMT 2010.