SSD INF/01 "AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE"
Ascolta
Settore ERC del gruppo: PE6_4 - Theoretical computer science, formal methods, and quantum computing, PE6_6 - Algorithms, distributed, parallel and network algorithms, algorithmic game theory
Responsabile scientifico/Coordinatore: RESTIVO Antonio - Prof. Ordinario
Componenti:
CASTIGLIONE Giuseppa - Ricercatore
EPIFANIO Chiara - Ricercatore
FICI Gabriele - Ric. a tempo determ.
MANTACI Sabrina - Prof. Associato
ROSONE Giovanna - Altro Personale
SCIORTINO Marinella - Prof. Associato
Link: http://portale.unipa.it/dipartimenti/dimatematicaeinformatica/ricerca/progetti.html