Alberto Carraro - page d'accueil

Informations générales

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

Contacts

mel:
acarraro at dsi dot unive dot it
téléphone: (+39)(0)41 2348421

Curriculum vitae académique

  • Ici vous trouvez mon curriculum vitae académique.

Domaines de recherche

  • Formalismes comme le lambda-calcul et les systèmes similaires, soit du coté de la sémantique que de la syntaxe. En particulier, je suis intéressé par les relations entre les classes de modèles et les théories équationnels induites par eux, comme résultats de complétude / incomplétude et résultats de (non-) récursivité.
  • Relation entre les modèles partiellement ordonnés et les lambda-théories.
  • Représentation des modèles partiellement ordonnés (par exemple, par des systèmes d'information).
  • Lambda-calculs du point de vue de l'algèbre universelle: classes équationnelles d'algèbres qui peuvent être considérés comme une contrepartie du premier ordre des formalismes de lambda-abstraction.
  • Lambda-calcul avec ressources et l'expansion Taylor-Ehrhard-Regnier.
  • Calculs fonctionnelles pour la logique classique.
  • Sémantique true-concurrent de formalismes pour la concurrence: déploiement de reseaux de Pétri, structures d'événements pour les logiques comportementales. Applications de la sémantique true-concurrent à la détection des flux d'information indésirables.