Steve McKeever

BSc MSc DPhil
Roles
University Lecturer in Software Engineering; Fellow of Kellogg College.
Teaching
Secure and Robust Programming; Extensible Markup Languages; Project Weeks.
Research
Optimizing biological simulations; describing multi-level biological simulations; languages for hardware design; staging transformations; automatic compiler generation.
Projects
IntBioSim; Integrative Biology.
Background
BSc in Computing Science, Imperial College (1987-1990); MSc in Formal Methods, Queen Mary and Westfield College (1990-1991); DPhil in Computation Oxford (1991-2002); Research Officer, Imperial College (1996-2002).