Isabella Mastroeni

Curriculum

•   Curriculum vitae_eng   (pdf, en, 283 KB, 18/02/25)
•   Curriculum vitae_ita   (pdf, it, 318 KB, 18/02/25)

Il lavoro di ricerca di Isabella Mastroeni si focalizza su:
- Interpretazione astratta 
- Sicurezza
In particolare nella prima area, si occupa dello studio di semantiche di linguaggi di programmazione e tecniche di analisi statica che permettano di analizzare linguaggi di programmazione (inclusi i linguaggi di programmazione dinamici). 
Nell'ambito di sicurezza, la ricerca tocca vari ambiti:
- Sicurezza basata sui linguaggi, con particolare attenzione dei modelli e delle tecniche di analisi di proprietà di confidenzialità basati su non-interferenza;
- Rilevazione e riconoscimento di malware mediante lo studio di modelli che permettono di analizzare la similarità di codice, ovvero la similarità tra malware noti e loro evoluzioni;  
- Protezione del codice mediante offuscamento, che permette di rendere un codice incomprensibile mediante una manipolazione sintattica guidata dalle proprietà semantiche che si vogliono preservare del programma;
- Studio di tecniche di analisi di proprietà di sicurezza che permettono di prevenire attacchi basati sulla presenza di vulnerabilità di code injection.

Le sue pubblicazioni si concentrano maggiormente su riviste e conferenze internazionali del settore dei linguaggi di programmazione (POPL, ESOP, SAS, PEPM...), della sicurezza (TOPS, JCS,...) e degli aspetti formali dell'informatica (FACJ, TCS, MSCS,...).

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

• Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
• Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

• Eventi
• Insegnamenti

Presidente

• Commissione AQ Laurea triennale in Informatica - L31

Incarico come referente

Referente per l'Assicurazione della Qualità del Corso di laurea in Informatica - Informatica

Incarico come referente

Referente per la Commissione Paritetica per le Attività Culturali, Sportive e Ricreative

Referente del Corso

• PERCORSO 60 CFU CLASSE A041
• Laurea in Informatica
• Laurea in Informatica [L-31]
  
  Corso  a esaurimento (attivi gli anni successivi al primo)