Resource Awareness in Programming: Algebra, Rewriting, and Analysis

  1. Home
  2. Research
  3. Projects
  4. Resource Awareness in Programming: Algebra, Rewriting, and Analysis
Starting date
November 30, 2023
Duration (months)
24
Departments
Computer Science
Managers or local contacts
Mastroeni Isabella

Software is ubiquitous in our lives and there is virtually no aspect of society where software does not play a key role. By exploiting the synergies of resource-awareness in syntax, semantics and analysis, the goal of the project is to develop novel techniques, methodologies and automatic tools to measure, certify or refute nowadays desirable properties of modern software systems.

Sponsors:

MUR - Ministero dell'Università e della Ricerca
Funds: assigned and managed by the department

Project participants

Isabella Mastroeni
Associate Professor
Research areas involved in the project
Ingegneria del Software e Verifica Formale
Software creation and management

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share