The research in the Department of Computer Science falls into four rough areas: Artificial Intelligence, Programming Languages and Systems, Scientific Computing, and Theory of Computing.