Department of Computer Science. Research areas include computer graphics, artificial intelligence, database systems, distributed systems, educational technologies, formal methods for critical systems, integrated systems, scientific computation and visual