|
|
|
|
|
|
|
people
|
|
Richard Bosworth home page Jim Burton Robin Clark Aidan Delaney home page Andrew Fish home page Jean Flower Ali Hamie home page John Howse home page Chris John Fernando Molina Neil Morgan Steve Schuman home page Gem Stapleton home page John Taylor home page Richard BosworthI am interested in design notations for concurrency, and am currently involved in trying to develop a formal semantics for statecharts which will allow designs to be rigorously checked by machine, while remaining intuitively appealing for users. I am also writing a graphical tool to test out my ideas.Jim BurtonI am a PhD student interested in Functional programming languages, advanced type systems and formal methods. My research will include applying ideas from those fields to that of Visual Modeling. I started my PhD in 2007 after completing an MSc in Software Engineering at Brighton. My supervisors are Richard Bosworth, John Howse and Gem Stapleton.Robin ClarkI Completed my MSc in software Engineering here at Brighton University and for my project wrote a Constraint/Euler diagram editor in Java. I work with safety critical embedded software (Burner Controllers) and have an interest in applying formal methods to proving the safety of hardware and software designs. The current trends in European standards, in particular EN298 and EN230, with emphasis on handling more than one component fault, indicate that automated methods for safety critical systems may soon become necessary. I have started a part-time PhD researching applying Euler diagrams to hierarchal models of safety critical systems, with an aim to also create a tool that can provide mathematical analysis and simulation of combinations of component faults. My supervisors are Richard Bosworth and John Howse.Aidan DelaneyAidan is interested in formal language theory.Andrew FishI am a Research Fellow in the School of Computing, Mathematical and Information Sciences. In 2002 I obtained my PhD in Mathematics (Geometric Topology) from the University of Warwick under the supervision of Prof. Colin Rourke, and I am currently completing an MSc in Software Engineering at the University of Brighton. From Sept 2002 until Sept 2005 I was the main researcher at the University of 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. From January 2007, I will be working on a new 3 year EPSRC-funded project (also a joint project with the University of Kent), called “Visualisation with Euler Diagrams”, for which I was an author and am the named researcher at the University of Brighton. My main research interests lie 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 also work in the field of Knot Theory, which is a well-established field of mathematics research with numerous applications in biology and physics.Jean FlowerI joined the visual modelling group in 1999, with a PhD in algebraic tolopogy and an MSc in software engineering. My main research focus has been on the mapping between abstract diagrams and concrete representations, drawing upon my interests and experience in Graph Theory and Topology. I like to see practical outcomes from theoretical results, and my teaching responsibilities lie mainly in object-oriented design and implementation. These skills have enabled me to write java implementations of some diagram algorithms. I left the University of Brighton in November 2004 to work for Autodesk, but I'm still associated with the VMG as an Honorary Faculty Fellow.Ali HamieMy main research interests are: formal methods (program specification and verification), specification language design and semantics, rigorous object-oriented analysis and design, object-oriented programming. Currently my work involves the OCL and the Java Modelling Language (JML). In particular mapping UML/OCL designs into JML specifications.John HowseI am Professor of Mathematics and Computation and Leader of the Visual Modelling Group. I have been involved in most of the research activity of the group since it evolved from the former Software Engineering Research Group. My main research interests are developing and formalising visual modelling languages and diagrammatic reasoning. I am the Principal Investigator on our EPSRC project Reasoning with Diagrams in collaboration with Peter Rodgers and Simon Thompson of the University of Kent. I am currently a supervisor for the PhD projects of Robin Clark and Neil Morgan and co-supervised Gem Stapleton's, Chris John's and Fernando Molina's PhDs. I have collaborated for several years with Stuart Kent (formerly of UKC, now with Microsoft) and Yossi Gil of the Technion in Israel on the development of constraint diagrams. I am on the steering committee for the Diagrams conference series and was General Chair of the IEEE Symposium on Visual Languages and Human-Centric Computing 2006.Chris JohnI graduated in 2002 and am currently a research student at University of Brighton studying projections in spider diagrams.Fernando MolinaFernando is an Honorary Faculty Research Fellow. He completed his PhD entitled Reasoning with Extended Venn-Peirce Diagrammatic Systems in 2001 under the supervision of John Howse and John Taylor. He is currently working as a Research Assistant at the University of Castilla la Mancha in Spain on a project involving computer vision.Neil MorganHaving completed my MSc in Information Systems Development here at the University of Brighton, I have started a part time MPHIL with transfer to PhD. I am currently undertaking research on the Usability of Diagrammatic Notations, specifically the Constraint Diagram notation, from a Software Engineering viewpoint. My supervisors are Lyn Pemberton and John Howse.Steve SchumanSteve's main interest is in developing modelling case studies.Gem StapletonI joined the Visual Modelling Group in September 2001 as a PhD student, supervised by John Howse and John Taylor. My PhD was awarded in August 2004 and I was a runner up for the BCS Distinguished Dissertation Award. After completing my PhD, I was employed as a Researcher at Brighton, but took unpaid leave during 2005 to hold a Research Fellow post at Kent on the Reasoning with Diagrams project. After this, I held a Leverhulme Trust Early Career Fellowship, for a programme of research entitled The Mathematics of Diagrammatic Logical Systems (2005-2007). During this Fellowship, I investigated the expressive power of diagrammatic and hybrid logics and identified decidable fragments of such logics; these themes still form a core of my research activity. In collaboration with Judith Masthoff (Aberdeen) I am developing techniques that can be used to automatically generate readable proofs. I am a Co-Investigator on the Visualization with Euler Diagrams project and am supervising Jim Burton and Aidan Delaney. I am General Chair of The International Conference on the Theory and Application of Diagrams 2008 which will be held in Germany during September, jointly organised with Program Co-Chairs John Howse and John Lee (Edinburgh) and Mark Minas (Local Chair).John TaylorI am a founder member of the visual modelling research group and a member of the School's Mathematics and Formal Aspects of Computing subject groups. Originally a topologist, my current research interests are reasoning with diagrams, the relationship between various concrete and abstract representations of diagrams and various combinatorial questions associated with constructing diagrams. I jointly supervised Fernando Molina and Gem Stapleton, whose PhDs were awarded in 2001 and 2004 respectively, and currently I am supervisor for Chris John. I am a co-investigator on the Reasoning with Diagrams project. |
|
