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-FEB-20

Struttura e ruolo

Dipartimento di Ingegneria Civile e Ingegneria informatica : Professore "Docens Turris Virgatae"

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