ALBCOM - Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals

Responsable Maria Serna

Objectius

El grup de recerca ALBCOM uneix 19 reconeguts investigadors en mètodes formals; disseny, automatització i verificació de VLSI; algorismes i complexitat; bioinformàtica. La recerca que es realitza a ALBCOM té un important prestigi en la comunitat científica internacional, degut a la qualitat de la seva recerca, tal com mostren les seves publicacions, i a l'activitat en projectes de recerca i de transferència de tecnologia amb empreses i institucions del sector.

(vegeu http://albcom.cs.upc.edu/ per a més detalls)