Informazioni

Presentazione del gruppo (English)

Rapporto di Attivita` 1998

Rapporti di Ricerca

Tema 1: Aritmetica esatta con i numeri reali

Tema 2 :
Linguaggi di Programmazione Funzionale e Parallelismo

Links:
uno sguardo alla Logica e alla TCS

Altri Progetti di Ricerca all'IAC

La Home-page del CNR

Dinamica dei Processi Computazionali
logica, informatica teorica, teoria dei numeri e calcolo distribuito
 
 

Il settore di Teoria della Computazione è da molto tempo presente presso l'Istituto ed è rappresentato negli ultimi anni dal Progetto di Dinamica dei Processi Computazionali. 

La tematica scientifica che caratterizza il progetto è molto vasta perchè, se da una parte ha l'ambizione di definire e studiare nuovi modelli di calcolo utilizzando strumenti matematici, dall'altra si confronta con il mondo delle applicazioni reali. 

Gli strumenti teorici utilizzati sono mutuati dai settori della logica matematica, dell'analisi matematica e dell'informatica. L'orizzonte applicativo di questo progetto riguarda i linguaggi di programmazione ed in particolare quelli per il calcolo distribuito. 

Linee di Ricerca

L'attività di ricerca per l'anno 2000, si concentrerà sui seguenti due temi:

Tema 1:

Aspetti Operazionali delle Computazioni con i Numeri Reali: proprietà di approssimazione delle rappresentazioni in base non intera, e sistemi per la computazione esatta con i numeri reali. Su questo tema di ricerca sarà organizzato un workshop. 

Tema 2:

Dinamica dei Linguaggi di Programmazione: geometria dell'interazione, analisi statica degli algoritmi. 

• Partecipazione all'Unità di Ricerca presso l'Università di Roma Tre del progetto europeo TMR LINEAR

Marco Pedicini

+39 06 88 47 02 74

m.pedicini@iac.rm.cnr.it