Alessandro Armando

Research Interests

Selected Publications

Involvement in Scientific Events

Editorial Activity

Research Projects

Software Tools

Students

Teaching & Invited Lectures

New: Rich-Model Toolkit Meeting

New: Summer School on Verification Technology, Systems & Applications (VTSA'11)

New: IEEE Workshop on Semantic Computing for Security and Privacy