Alberto Pettorossi

Qualifica
ORDINARIO
Settore scientifico disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Posta elettronica
Posta elettronica
Telefono ufficio
Pagina personale
http://www.iasi.cnr.it/~adp/
Attività

Informatica teorica. Trasformazione dei programmi. Sviluppo automatico del software. Semantica dei linguaggi di programmazione. Programmazione funzionale, logica e concorrente.

Data di ultima modifica
20-NOV-17
Struttura e ruolo
Dipartimento di Ingegneria Civile e Ingegneria informatica : Professore Onorario "Docens Turris Virgatae"

Per modificare o correggere i dati in questa pagina scrivere a directory@uniroma2.it

Xml