Steve McKeever

The focus of my research has always been on the application of rigorous software engineering techniques to areas of personal interest. I began my research studies by looking at how to automatically create evaluation mechanisms for programming languages.

I then moved onto the emerging area of programmable hardware whilst a research associate. I developed languages suitable for designing circuits at a very abstract level.

More recently I have applied similar techniques to the modelling of biological processes at both the cell and atomistic levels. The current focus of my work is on developing tools and languages for supporting component based modeling of the heart and various cancers.