Department of Computer Science. Research topics include information structures, knowledge-based systems, programming languages and methodology, distributed systems, theoretical computer science, technical computer science, artificial intelligence, and ap