Adam Bakewell

Computer Science,
University of Birmingham,
Birmingham B15 2TT, UK

Room G02
Tel +44 121 4148816
Fax +44 121 4144281
Email <a.bakewell@cs.bham.ac.uk>

I'm currently working mostly on truly compositional model checking, based on the theory of game semantics. Try our experimental tool, Mage.

Online CV
Research Publications and Reports
Research Talks

Research Projects

  • Games-Based Model Checking. Truly compositional, fully abstract and aiming for maximum speed.
  • Unification with expansion variables. A higher-order calculus with applications in compositional program analysis.
  • Constraint model refinement Automated refinement of constraint satisfaction problems.
  • Tools for worst-case execution time analysis Transformation tools to enable timing analysis of imperative programs.
  • Safe pointers by graph transformation Using graph-reduction systems as a shape specification language for pointer data structures and checking the shape-safety of pointer programs.
  • Theory of space usage My PhD work provides a graph-based framework for formally comparing the space usage of different program evaluation strategies.
  • Generalisation of functions Automated inference of general-purpose functions from two or more instances.