Gruppi di ricerca:
Algorithms
Parallel Architecture Group
Concurrency
Logic Programming
Operations Research