Software creation and management

  1. Home
  2. Research
  3. Research areas
  4. Software creation and management
Mila Dalla Preda
Associate Professor
Roberto Giacobazzi
Full Professor
Isabella Mastroeni
Associate Professor
Federica Maria Francesca Paci
Associate Professor
Research interests
Topic People Description
Code synthesis Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Study and development of techniques for the synthesis of code (or code transformers) from the specification of semantic code properties.
Software creation and management Federica Maria Francesca Paci
Study and development of formal and semi-formal methodologies and technologies for the creation and management of software systems

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share