Sono un’informatica italiana che vive a Londra. Sono cresciuta a Sant’Antioco, una piccola isola al largo della costa sud-occidentale della Sardegna, collegata alla terraferma da un istmo artificiale. Da allora, gli studi e la carriera mi hanno portata in Italia, nel Regno Unito, in Svezia, negli Stati Uniti, e in Cina.

Ho preso una strada non convenzionale per arrivare all’informatica. Ho iniziato con medicina per poi cambiare direzione. Quel cambiamento mi ha dato la determinazione che ha plasmato tutto quello che è venuto dopo. Ho studiato Informatica all’Università di Cagliari prima di trasferirmi all’Università di Leicester, in Inghilterra, per la magistrale. Lì, ho poi iniziato il dottorato sotto la supervisione del Prof. Nir Piterman e l’ho completato all’Università di Göteborg e Chalmers, in Svezia, lavorando su logiche e metodi formali per il cloud. Durante il dottorato, ho pubblicato a CAV, KR, e IJCAR — tre delle conferenze più prestigiose nel campo della logica. Ho anche trascorso due estati come tirocinante presso Amazon Web Services nella San Francisco Bay Area.

Dopo il dottorato, ho iniziato a lavorare full-time in AWS a Londra come Applied Scientist nell’Automated Reasoning Group, il team che per primo ha applicato logiche e metodologie formali nell’infrastruttura cloud di AWS. Successivamente, sono passata a Huawei R&D come Principal Research Engineer, dove ora guido un team presso il Cloud Reliability Lab, lavorando sulla correttezza dei servizi cloud.

Più lavoro in questo campo, più mi convinco che il software possa e debba essere costruito usando metodi rigorosi e formali come principio guida. Fino a pochi anni fa, i tools non erano abbastanza maturi. Ma le cose stanno cambiando rapidamente, e sono contenta di farne parte.