Annalisa BOSSI Professor of Computer Science, Università Ca' Foscari di Venezia.

---

Dipartimento di Informatica Via Torino 155, 30172 Venezia Mestre - Italy

Tel : +39 0412348421 Fax : +39 0412348419 e-mail : bossi@dsi.unive.it

Editor-in-chief of the Journal   Theory and Practice of Logic programming

Research Interests

• Verification and validation of systems, security.
• Program's transformations and verification, semantics.
• Declarative programming languages, in particular logic programming.

Recent publications  Click here

---

I am a member of

GULP - Gruppo Ricercatori e Utenti Logic Programmin

Links 

• Information Flow Security

• 9th International Workshop on Logic-based Program Synthesis and Transformation

• 2nd International Workshop on: Verification, Model Checking and Abstract Interpretation

• Journal of Logic programming: Special issue on Synthesis, Transformation and Analysis of Logic programs

• ILPS'97 Post-Conference workshop on: Verification, Model Checking and Abstract Interpretation

• Workshop on program correctness