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
Ingegneria del Software e Sicurezza
Formal methods and theory of security
Informatica teorica
Semantics and reasoning
Ingegneria del Software e Sicurezza
Software and application security
Ingegneria del Software e Sicurezza
Software creation and management
Ingegneria del Software e Sicurezza
Software organization and properties

Activities

Research facilities

Share