Luigi Logrippo

Biography

I received a "laurea" in law from the University of Rome (Italy) in 1961, and in the same year I wrote my first computer program.

Until 1967, I worked with Olivetti, Olivetti-Bull, General Electric, and Siemens as a programmer and systems analyst.

From 1967 to 1969 I was a Research Associate at the Institute for Computer Studies, University of Manitoba, where I obtained a MSc in Computer Science in 1969. I then obtained a PhD in Computer Science at the University of Waterloo in 1974.

From 1973 to 2002 I 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).

I was Chair of the Computer Science Department from 1991 to 1997 and Administrative Director of SITE in 1997/98. I had sabbaticals at Bell Northern Research (which became Nortel), at the University of Twente (NL) and at the University of Stirling (Scotland).

I have now retired from the University of Ottawa and since July 1, 2002 I am a professor at the nearby Université du Québec en Outaouais, Département d'informatique et ingénierie.

Fields of 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