My research interest is primarily Artificial Intelligence, in particular what is now called "good old fashioned AI". I'm mostly interested in knowledge representation and reasoning, especially in the problem of how to construct programs that can represent and reason with uncertain information. However, I also have experience with evolutionary computation for problems in search, planning, and optimization.
I'm also interested in systems: operating systems, tools, languages and libraries for use by other Computer Scientists. The intersection of systems and AI has always been a fascination of mine.