Luigi Logrippo

Biography

Professor Luigi received a "laurea" in law from the University of Rome (Italy) in 1961, and in the same year he wrote his first computer program. Until 1967, he worked with Olivetti, Olivetti-Bull, General Electric, and Siemens as a programmer and systems analyst. From 1967 to 1969 he was a Research Associate at the Institute for Computer Studies, University of Manitoba, where he obtained a MSc in Computer Science in 1969. He then obtained a PhD in Computer Science at the University of Waterloo in 1974. From 1973 to 2002 he have been with the University of Ottawa, first in the Department of Computer Science and then in the School of Information Technology and Engineering (SITE). He was Chair of the Computer Science Department from 1991 to 1997 and Administrative Director of SITE in 1997/98. He had sabbaticals at Bell Northern Research (which became Nortel), at the University of Twente (NL) and at the University of Stirling (Scotland). Professor has now retired from the University of Ottawa and since July 1, 2002 He is a professor at the nearby Université du Québec en Outaouais, Département d'informatique et ingénierie.  

Research Interest

  Formal methods in security, privacy and governance, 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.