Research on "Semantics and Logics of Computation"
"Program analysis, synthesis, and transformation" group
|
"Italy rejects war as an instrument of aggression against the freedom of other
peoples and as a means for the settlement of international disputes.
Italy agrees, on conditions of equality with other States, to the limitations
of sovereignty that may be necessary to a world order ensuring peace and
justice among the Nations. Italy promotes and encourages international
organisations having such ends."
(Art. 11 of the Constitution of the Italian Republic)
|
|
|
|
RESEARCH
-
General research interests in
programming languages and type systems.
In particular:
-
Dynamic object re-classification
(Java-like languages)
-
Flexible compilation and linking
(ML- and Java-like languages)
-
Automatic type inference
(ML- and JavaScript-like languages)
-
Program verification, analysis, and transformation
(ML-like languages)
-
Logical semantics for concurrency and mobility
(process algebras)
-
Projects:
-
Publications:
-
On-line tools demonstrations
-
Events:
TEACHING
(ITALIAN ONLY)
SOME INTERESTING ORGANIZATIONS
-
EAPLS (European Association for Programming Languages and Systems)
-
EATCS (European Association for Theoretical Computer Science)
and
Italian Chapter of EATCS
-
FSF (Free Software Foundation)
-
ALSI
(ITALIAN ONLY -
Associazione nazionale Laureati in Scienze dell'informazione ed Informatica)
-
ADI
(ITALIAN ONLY -
Associazione Dottorandi e dottori di ricerca Italiani)
-
GRIN
(ITALIAN ONLY -
Associazione Italiana dei Docenti Universitari di Informatica)
|