Department of Mathematics and Computer Science. Research areas include databases, software engineering, medical informatics, artificial intelligence, programming languages, formal methods, robotics, and computer vision.