📝 描述
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 and runtime prediction for distributed memory machines.
⭐ 用户评价
暂无评价