Professor
Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who professes". Professor ...
of
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...
at the
Université du Québec en Outaouais
The Université du Québec en Outaouais (UQO) is a constituent university of the Université du Québec system located in Gatineau, Quebec, Canada. As of September 2010, combined enrolment at UQO's Gatineau and Saint-Jérôme campuses was 6,017, ...
(UQO). He is the principal researcher of the LOTOS group at the
University Of Ottawa
The University of Ottawa (french: Université d'Ottawa), often referred to as uOttawa or U of O, is a bilingual public research university in Ottawa, Ontario, Canada. The main campus is located on directly to the northeast of Downtown Ottaw ...
Formal methods in security, privacy and governance including:
*Formal specification, formal design, validation, verification, testing
*Security: Enterprise data security; Access control models and methods
*Legal conformance, privacy
Normative systems:
*Formal methods in telecom software engineering:
*Process algebras, LOTOS and E-LOTOS languages
*Feature interaction problem
Biography
Logrippo was born in
Italy
Italy ( it, Italia ), officially the Italian Republic, ) or the Republic of Italy, is a country in Southern Europe. It is located in the middle of the Mediterranean Sea, and its territory largely coincides with the homonymous geographical ...
, received a "laurea" in
law
Law is a set of rules that are created and are enforceable by social or governmental institutions to regulate behavior,Robertson, ''Crimes against humanity'', 90. with its precise definition a matter of longstanding debate. It has been vari ...
from the University of Rome in 1961. Until 1967, he worked with Olivetti, Olivetti-Bull, General Electric, and Siemens as a programmer and systems analyst. From 1967 to 1969 he worked as a research associate at the Institute for Computer Studies. He obtained a MSc in Computer Science from
University of Manitoba
The University of Manitoba (U of M, UManitoba, or UM) is a Canadian public research university in the province of Manitoba.Luigi Logrippo UofO home page