Address at University of York:

Tel: +44 1904 432778

e-mail: andyg@cs.york.ac.uk

Research Interests

From 1992: Z, B, Process Algebra, software methods/notations (e.g. SA/RT, JSD, Grafcet), Method Integration, Integrated Formal Methods
From 1996: Applied Formal Methods, Embedded Control Systems (propulsion,avionics), High Integrity Systems, Symbolic Abstraction (cf Hennessy, Lin, Rathke), General Correctness (wp+wlp), Statecharts, Control Diagrams, wp+differentials /wp+state-machines (eliminating auxiliary variables)
From 2002: Unifying Theories of Programming
From 2004: Certification, Standards (esp DO-178B/C), Testing, Technology Substitution, Model-driven engineering
From 2005: Agile high integrity systems and software engineering, process risk
From 2006: Model-checking (spin), Model-checking (xDD), Grand Challenge mini-challenge
From 2007: Heterogeneity in Process Algebras, Shared Variables, Rely-Guarantee, Patterns+Pattern Application (as a refinement calculus), Integrated shared-variable and message-passing formalisms, full automation, decision procedures (esp SMT+SAT), Boolean/Predicate Eqn Systems

From 2010: I hope to be thinking about a "cloud" verifying compiler (pressing interpretation of the Verified Software GC).

Apology

I suffered for many years from untreated Bipolar Affective Disorder. The worst years were from 1997 to 2003, when I was hospitalised and diagnosed. I sincerely apologise to anyone I let down during this period, whether that be in my professional life or in my private life.