Logo Università degli Studi di Milano



 
 
Notizie  

20 febbraio 2019: Nikos Gorogiannis: Challenges and research opportunities for formal methods in the “real world”

Zero e uno

"Seminari di Logica" a cura del Logic Group del Dipartimento di Filosofia "Piero Martinetti"

Nikos Gorogiannis (Facebook Inc.)

Challenges and research opportunities for formal methods in the “real world”



20 febbraio 2019, ore 16:30-18:30.

Sala Enzo Paci, Direzione del Dipartimento di Filosofia, Universita' degli Studi di Milano, Via Festa del Perdono 7.

Abstract

Software verification has been predominantly focused on safety-critical software. What value can software verifiation (and more generally, formal methods) offer to practitioners outside this constrained context? Are there interesting academic research challenges in that area, or is it all `just engineering'? I will sketch an experience report from deploying static analysis at Facebook, and hope to discuss the potential research questions that seem to arise.


ORGANIZERS
The Logic Group, Department of Philosophy, University of Milan
www.filosofia.unimi.it/logic

CONTACT
marcello.dagostino@unimi.it - www.filosofia.unimi.it/dagostino

L'incontro si terrrà in inglese.

La partecipazione alla conferenza è fortemente consigliata agli allievi della Scuola di Dottorato in Filosofia e Scienze dell’Uomo.

La partecipazione è aperta a tutti gli interessati.

20 febbraio 2019
Torna ad inizio pagina