Department of Computer Science. Research areas include computer architecture, programming languages, theoretical computer science, algorithms, artificial intelligence, and human-machine interfaces. Links to laboratory servers.