Alberto Carraro - pagina iniziale

Informazioni generali

Alberto Carraro, Dott. Ing. PhD.
DAIS, Università Ca' Foscari Venezia
Stanza 2, via Torino 155
30172 Venezia, Italia

Contatti

posta elettronica:
acarraro at dsi dot unive dot it
telefono: (+39)(0)41 2348421

Interessi di ricerca

  • Formalismi come Lambda Calcolo e sistemi correlati, sia dal punto di vista semantico che sintattico. In particolare mi interessano i rapporti tra le classi di modelli e le teorie equazionali da essi indotte: risultati di completezza / incompletezza e risultati (non-) ricorsivit√†.
  • Relazione tra modelli parzialmente ordinati e lambda teorie. Rappresentazione di modelli parzialmente ordinati (ad esempio tramite Sistemi Informativi).
  • Lambda Calcoli dal punto di vista dell'Algebra Universale: classi equazionali di algebre che possono essere considerati come una controparte al primo ordine dei formalismi di lambda-astrazione.
  • Lambda Calcolo con risorse ed espansione di Taylor-Ehrhard-Regnier.
  • Calcoli funzionali per logiche classiche.
  • Semantica true-concurrent per formalismi concorrenti: unfolding di reti di Petri, strutture ad eventi per logiche comportamentali. Applicazioni della semantica true-concurrent al rilevamento di flussi indesiderati di informazioni.