Mi chiamo Federica e sono all’ultimo anno del dottorato in informatica. La mia principale attività di ricerca consiste nello sviluppo di algoritmi che permettano di studiare formalmente le proprietà di un sistema distribuito. Adoro la matematica e in particolare mi piace studiare come possa essere usata per risolvere problemi reali.

Ho una laurea triennale in matematica e una magistrale in informatica, entrambe prese all’università Bicocca.

Lo studio di una comunità di persone, di una rete informatica o di una cellula possono risultare estremamente complessi, per l’enorme quantità di azioni che avvengono al loro interno e di interazioni con l’ambiente circostante. Per questo motivo, quando si vogliono studiare le loro proprietà si utilizzano dei modelli astratti, che rappresentano le caratteristiche del sistema rilevanti rispetto alle proprietà d’interesse e semplificano il resto.

Sul modello, si possono verificare analiticamente le proprietà che, se il modello è ben fatto, valgono anche sul sistema reale.

Durante il percorso vedremo alcuni possibili strumenti per modellare un sistema e vedremo degli esempi reali in cui possono essere utilizzati, per esempio nell’ambito della biologia o della sicurezza informatica.

Il percorso prevede quattro incontri di due ore ciascuno e si rivolge a studenti del triennio della scuola superiore.