Mario Bravetti

• Software Engineering and Formal Methods
• Web Services and Formal Methods
• Web services and formal methods
• Behavioral Types in Programming Languages
• CONCUR 2009 - Concurrency Theory
• Formal Techniques for Computer Systems and Business Processes