Home » Research » Goals

Goals

MAIN GOALS

Design of reliable and secure computer systems:

  • methodologies
  • tools
  • applications

STRATEGIC GOALS

Our Activity is motivated and organized as a mean for:

  • Technology Transfer from FM and Security to Software/Computer Industry.
  • Creation of a recognized competence center/school in Computer System Reliability/Security.
  • Encourage security and formal methods research and application.