Algorithms and Data Structures
|
|
Faculty members:
|
T. Calamoneri, S. De Agostino, I. Finocchi, G. Franceschini, A. Monti, A.Panconesi, R. Petreschi, R. Silvestri
|
|
Post-docs:
|
E. Fusco, M. Lauria
|
|
Phd students:
|
A. Epasto
|
|
Web-site:
|
algs.di.uniroma1.it
|
|
Artificial Intelligence
|
|
Faculty members:
|
L. Carlucci, F. Malvestuto, T. Mancini, R. Navigli, A. Sterbini, P. Velardi
|
|
Web-site:
|
lcl2.uniroma1.it
|
|
Combinatorics
|
|
Faculty members:
|
L. Carlucci, E. Fachini, J. Korner, A. Monti, P. Wollan
|
|
Post-docs:
|
M. Lauria
|
|
Computational Complexity
|
|
Faculty members:
|
N. Galesi
|
|
Post-docs:
|
M. Lauria
|
|
Computer Architectures
|
|
Faculty members:
|
A. Massini
|
|
Computer Networks
|
|
Faculty members:
|
N. Bartolini, G. Bongiovanni, T. Calamoneri, G. Maselli, C. Petrioli
|
|
Post-docs:
|
S. Silvestri
|
|
Computer Security
|
|
Faculty members:
|
G. Ateniese, S. Dziembowski, L. Mancini, A. Mei, F. Parisi Presicce, E. Tronci
|
|
Post-docs:
|
F. Mari, J. Stefa
|
|
Database Systems and Information Retrieval
|
|
Faculty members:
|
F. Malvestuto, M. Moscarini, A. Panconesi
|
|
Formal Methods
|
|
Faculty members:
|
P. Cenciarelli, N. Galesi, D. Gorla, A. Labella, A. Piperno, I. Salvo, E. Tronci, L. Carlucci
|
|
Web-site:
|
mclab.di.uniroma1.it
|
|
Human Computer Interaction and Computer Graphics
|
|
Faculty members:
|
P. Bottoni, L. Cinque, M. De Marsico, A. Labella, E. Panizzi, F. Pellacini
|
|
Information Theory
|
|
Faculty members:
|
J. Korner
|
|
Programming Languages and Software Engineering
|
|
Faculty members:
|
P. Bottoni, I. Finocchi, I. Melatti, F. Parisi Presicce, E. Tronci
|
|
Post-docs:
|
F. Mari
|
|