Valorizzazione attività di ricerca

  1. Home
  2. Research
  3. Projects
  4. Valorizzazione attività di ricerca
Starting date
November 8, 2023
Duration (months)
2
Departments
Computer Science
Managers or local contacts
Cristani Matteo

Sponsors:

DIGITRONICA.IT SRL
Funds: assigned and managed by the department

Project participants

Matteo Cristani
Associate Professor
Research areas involved in the project
Sicurezza informatica
Formal methods and theory of security  (DI)
Ingegneria del Software e verifica formale
Formal methods and theory of security  (DI)

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share