Accions del document
ALBCOM
Algorisms, Biocomputing, Complexity and Formal Methods Group
The primary mission of ALBCOM is to do research in computation and formal methods, broadly. It is organized into four broad research groups:
More specific research topics include, parallel and sequential algorithms, complex networks, verification, combinatorics, complexity, data structure, game theory, algorithms for VSLI design, metaheuristics and other approximate algorithms for tackling combinatorial optimization problems, graph theory, and logic verification.
More specific research topics include, parallel and sequential algorithms, complex networks, verification, combinatorics, complexity, data structure, game theory, algorithms for VSLI design, metaheuristics and other approximate algorithms for tackling combinatorial optimization problems, graph theory, and logic verification.
