Accions del document
ALBCOM
Grup d'AlgorÃsmia, Bioinformà tica, Complexitat i Mètodes Formals
L'objectiu principal del grup de recerca ALBCOM és realitzar recerca en al camp de la computació i els mètodes formals, de manera general. Les principals lÃnies de recerca s'estructuren al voltant de quatre subgrups de recerca:
Alguns temes més especÃfics de recerca inclouen algorismes paral·lels i seqüencials, xarxes complexes, verificació, combinatòria, complexitat, estructures de dades, teoria de jocs, algorismes per a disseny VSLI, metaheurÃstiques i altres algorismes aproximats per a la resolució de problemes d'optimització combinatòria, teoria de grafs i verificació lògica.