Abstract Interpretation of COBOL

Starting date
March 1, 2017
Duration (months)
24
Departments
Computer Science
Managers or local contacts
Mastroeni Isabella

Sponsors:

Funds: assigned and managed by the department

Project participants

Isabella Mastroeni
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)
Algebra, Geometria e Logica Matematica
Semantics and reasoning  (DI)
Algoritmi, Logica e teoria della computazione
Semantics and reasoning  (DI)  (DI)
Ingegneria del Software e verifica formale
Semantics and reasoning  (DI)
Sicurezza informatica
Software and application security  (DI)
Ingegneria del Software e verifica formale
Software and application security  (DI)
Sicurezza informatica
Software creation and management  (DI)
Ingegneria del Software e verifica formale
Software creation and management  (DI)
Sicurezza informatica
Software organization and properties  (DI)
Ingegneria del Software e verifica formale
Software organization and properties  (DI)

Activities

Research facilities

Share