University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Steve McKeever

Personal photo - Steve McKeever
Dr Steve McKeever
University Lecturer
Governing Body Fellow, Kellogg College

Room 464, OeRC, Parks Road, Oxford OX1 3QD

Interests

I am interested in the application of software engineering techniques, and programming language theory in particular, to a range of modelling applications.

The unifying theme of my research is to explore semantics-based methods for developing languages, systems and tools. I have used such methods for the design and implementation of:

  • provably-correct compiler generators
  • hardware development tools based on imperative and declarative languages
  • biological modelling languages to enable simulations at both the cell and atomistic levels.

I have explored static checking in the form of types, units, widths, ownership and bindings times. In terms of run-time behaviour I have looked at the automatic generation of abstract machines, relative placement annotations for hardware components and heart model optimisations using both partial evaluation and staging transformations.

Currently I am exploring domain specific languages for tumour modelling, mainly at the cellular level, and model descriptions to enable coupled simulations to be run seamlessly. My interests span to notions of interoperability and extensibility of scientific modelling languages in order to promote resuse. 

Selected Publications

View all

Manage publications

The Case for Using Markup for Biomechanical Modelling

David Johnson and Steve McKeever

In Proceedings of the XXIII Congress of the International Society of Biomechanics. ISB. July, 2011.

Details | BibTeX | Download (pdf)

Markup Languages for In Silico Oncology

David Johnson‚ Jonathan Cooper and Steve McKeever

In Georgios Stamatakos and Dimitra Dionysiou, editors, Proceedings of the 4th International Advanced Research Workshop on In Silico Oncology and Cancer Investigation (4th IARWISOCI) – The ContraCancrum Workshop. Pages 108–110. September, 2010.

Details | BibTeX | Download  (pdf) | Link

Checking Concurrent Contracts with Aspects

Eric Kerfoot and Steve McKeever

In Proceedings of the 25th Annual Symposium On Applied Computing. March, 2010.

Details | BibTeX | Download  (pdf)

Info

Themes

Software Engineering  | Computational Biology

Activities

Computational Biology group  | Information Modelling

Projects

TUMOR

Completed Projects

Integrative Biology | Integrating Biological Simulations |

Current Students

Past Student

Eric Kerfoot
Share this page: Facebook Twitter Digg Del.icio.us StumbleUpon