February 20, 2019: Nikos Gorogiannis: Challenges and research opportunities for formal methods in the “real world”
"Seminars of Logic" organized by the Logic Group of the Department of Philosophy "Piero Martinetti"
Nikos Gorogiannis (Facebook Inc.)
Challenges and research opportunities for formal methods in the “real world”
February 20, 2019, h. 16:30-18:30.
Room Enzo Paci, Directorate of the Department of Philosophy, (Via Festa del Perdono 7, Milan).
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.
The Logic Group, Department of Philosophy, University of Milan
The Lecture will be held in English.
Participation is strongly recommended to students of the Doctoral School in Philosophy and Human Sciences.
Everyone interested is welcome to attend.