User:Luigi Liquori

Luigi Liquori, MS 1990 Udine University, Ph.D. 1996 University of Turin, H.d.R. 2007 Institut National Polytechnique de Lorraine, served as Lecturer at the Ecole Nationale des Mines de Nancy from 1999. Since 2001, he is a senior researcher of INRIA. Luigi Liquori research's fields range from logics and foundations of mechanical proof assistants, to semantics of object oriented programming languages, until foundations of Overlay Networks, Pervasive Computing and Network Computers, Social and Peer-to-peers networks.