Dipartimento di Informatica

Ruolo: Professore associato

Contatti

E-mail: felice.cardone[at]unito.it

Telefono: 0116706810 Fax: n/d

Curriculum vitae italiano: cvCardone.pdf [pdf, 128KB]

Attività scientifica

Research Home PAGE

Settore scientifico disciplinare: INF_01 - INFORMATICA

Prodotti della ricerca di Cardone Felice

Membro di:

Formal Methods in Computing
Control of Resource Usage
Logical Foundations of Programming Languages

Partecipa ai progetti:

CONtrollo e CERTificazione dell'usO delle risorse (CONCERTO) --- PRIN2007