Logo Università degli Studi di Milano



 
 
News  

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

Zero e uno

"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).

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

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.

20 February 2019
Back to top