outline of EUGENIO MOGGI's plans in the context of WG 2.11

I am currently interested in two lines of research.

The more theoretical line of research investigates basic calculi for
program generation follow well-established methodologies:
operational/denotational semantics, type systems, program
equivalences, type safety results, comparisons with other calculi and
expressivity results.

The more pragmatic line of research aims at exploiting program
generation techniques in the context of "global computing", more
specifically for dynamic assembly of components, for dynamic
adaptation of mobile agents, for service adaptation after a service
contract negotiation.