Research Interests

My main research interests lie in the intersection between Software Engineering and Human-Computer Interaction. Specifically, I have been working on the following themes:

I lead a research group, the Future Computing Environments Group. The FCE Group mission is to invent and better understand what constitutes an effective, everyday partnership between humans and technology. In April 1995, I co-founded the FCE Group with Chris Atkeson. Today, the FCE Group is recognized nationally and internationally as a premier research group in ubiquitous computing. Our reputation has directly resulted in a growth in associated faculty and research breadth and depth. There are now seven full-time faculty (Abowd, Atkeson, Aaron Bobick, Irfan Essa, Blair MacIntyre, Elizabeth Mynatt & Thad Starner) in the FCE Group, with over 20 PhD students and numerous masters and undergraduates. In addition to pushing a strong experimental research agenda in various subdisciplines of Computer Science, the FCE Group fosters a culture of excellence in the development of living laboratories for research.investigating and building futuristic computing applications that apply ubiquitous computing technology to everyday life situations, such as education, tourism and the home.

As a result of two years postdoctoral experience at Carnegie Mellon, I have been working on models to specify and evaluate software architectures. This work has produced a formal framework for defining architectural styles and a process for performing scenario-based architectural evaluations. The evaluation work is part of a continuing research effort with colleagues at the Software Engineering Institute. I am also working with colleagues here at Georgia Tech on a DARPA-sponsored project, MORALE with a large software architecture emphasis.

Development of formal specification languages to support description and analysis of interactive systems. This was the principal focus of my doctoral thesis and postdoctoral research at the University of York. It is no longer a mainstream focus in my research, but I have recently done some work on applications of model checking to dialogue specification and verification.