Parallel and distributed computing, graph algorithms, and operating systems. More...
Learning algorithms, interconnection networks, scientific computing and parallel processing, data mining, and dynamic data assimilation and their applications to meteorology and finance. More...
Engineering reliable software, logic-based testing and verification, applications of mechanized logic, functional programming more...
Graph theory,combinatorial optimization, algorithms and applications in a variety of areas in CS and EE, electrical networks, VLSI physical design, More...