I am interested in many different aspects of reactive control for mobile robots. I am particularly interested in navigation, robot vision, machine learning, and software architectures. I am currently developing a textbook for my introductory robotics course.

Journal papers
Conference papers

Software Engineering

I am interested in methods and tools that enable software developers to maintain intellectual control over their projects. Another way to phrase this is that I am interested in software epistemology; that is, how can a developer's knowledge of a software artifact be enhanced? Much of my research is inspired by the Cleanroom Software Enginering methodology.

Journal Papers
Software Tools
Conference Paper

Search Algorithms

I am interested in the application of search algorithms to intractable problems. I have investigated the application of search to analyze formal software models, STRIPS-style planning problems, and intelligent boardgame playing programs. My graduate thesis work was focused on this topic.

Conference Papers