DISI Dipartimento di Informatica e Scienze dell'Informazione

Categorical Semantics of Programming Languages

[People] [Projects] [Research] [Contacts]

The Team

Faculty: Prof. Eugenio Moggi , Prof. Giuseppe Rosolini
Post Docs: Dr. Anna Bucalo
PhD students: Cristiano Calcagno , Luca Paolini
Former PhD students: Gianna Belle'


Research Activities

The activities are centered around domain theory, programming language semantics and program logics.

External collaborations

Useful Information

Comments to: Eugenio Moggi. Last Updated: 24 Apr 1999