James Miller received his BSc and PhD degrees in Computer Science from the University of Strathclyde, Scotland. Subsequently, he worked at the United Kingdom’s National Electronic Research Initiative on Pattern Recognition as a Principal Scientist, before returning to the University of Strathclyde to accept a lectureship, and subsequently a senior lectureship in Computer Science. In 2000, he joined the University of Alberta. He is the principal investigator in a number of research projects that investigate software verification, validation and evaluation issues across various domains, including embedded, web-based and ubiquitous environments. He has published over one hundred refereed journal and conference papers, and sits on the editorial board of the Journal of Empirical Software Engineering.