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

---

Research Interests

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

Recent publications

---

• 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

---