.

Dr Kenneth Johnson

Ken Johnson
Ken Johnson
Post Doctorate Research Fellow
Cloud Computing for
Large-Scale Complex IT Systems

Department of Computer Science
Aston University

Contact Details:
email: k.h.a.johnson@aston.ac.uk
     tel: 0121 204 3477
 room: 218E

Current Research Interests

I am a post-doc researcher at Aston University working with Radu Calinescu on the EPSRC-funded project "Cloud Computing for Large-Scale Complex IT Systems".

Our work in this area aims to provide a theoretical foundation to specify, analyze and verify non-functional properties of cloud-based systems applied to several case studies in industry.

Selected Recent Publications

K. Johnson, J. V. Tucker (2012) — A Model of Computing as a Service for Cost Analysis

K. Johnson, J. V. Tucker (2011) — The data type of spatial objects. In: Formal Aspects of Computing, To appear.

R. Calinescu, K. Johnson and Y. Rafiq  (2011) — Using observation ageing to improve Markovian model learning in QoS engineering. In: Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering, 505-510.

Work Experience

2009 - 2010
Espresso Group, L'Institut National de Recherche en Informatique et en Automatique, Rennes, France

2008 - 2009
Department of Computer Science, University of Sheffield, UK. 

Education

2002 - 2006
PhD. Computer Science
University of Wales, Swansea
The Algebraic Specification of Spatial Data Types of Application to Constructive Volume Geometry