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)