APPSEM page at DISI, Univ. of Genova

Esprit Working Group 26142 - Applied Semantics

APPSEM is a working group in the ESPRIT program of the European Union.
APPSEM Proposal and Work Programme.
The research team at Genova consists of members from the Categorical Semantics of Programming Languages and Formal Methods for Software Development groups. The senior team members are: Eugenio Moggi, Giuseppe Rosolini and Elena Zucca.

The main expertise of the group is in domain theory, programming language semantics and program logics, formal models and specification of software systems. The group has also expertise in linear logic, and lambda-calculus. Genova will contribute to themes: B (program structuring), D (verification methods), E (automatic program transformation).

Comments to: Eugenio Moggi. Last Updated: 11 Apr 2002