[These page are very out of date!]

Thanks for visiting my e-portfolio page. I am a computer scientist with research interests in the area of formal methods, empirical modelling and education. I was educated in South Wales and moved to Coventry where I received my undergraduate degree in Computer Science from the University of Warwick. I remained at Warwick to begin PhD work in the broad areas of formal methods and empirical modelling.

My primary research interest is the use of specification in software development, investigating how both formal and informal approaches can influence the quality of software. I am interested in recent developments in formal methods particulary in the context of the Grand Challenge for Computer Research (GC6). I have also been involved with the Empirical Modelling research group, a project developing interactive environments to explore various aspects of human-centered computing.

I have been involved in undergraduate teaching across a variety of modules and levels of study. I have also been involved in teaching MSc students in the area of formal methods.

I am currently based in the Department of Computer Science and in-addition to my ongoing PhD work I am employed as a research assistant on the MALog project. More details of my involvement in the MALog project can be found on a separate page.

Please follow these links to other pages within this e-portfolio:

• Information on research interests
• Details of publications and talks
• Teaching commitments
• MALog project
  

Russell Boyatt

R dot Boyatt at warwick dot ac dot uk