Department of Mathematics and Computer Science. Research areas include logic synthesis and verification, digital systems verification, genetic algorithms for routing, LEDA, graph drawing algorithms, parallel algorithms and programming, and compilers a...