Description: Description: Description: Description: Description:




Dr Luigi Logrippo

Emeritus Professor

  • Research interests: 
    • 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


  • Courses: On LOTOS  (Language of Temporal Ordering Specifications)

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), now School of Electrical Engineering and Computer Science. 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 then retired from the University of Ottawa and since July 1, 2002 I am a professor at the nearby Université du Québec en Outaouais (UQO), Département d'informatique et ingénierie (information about my activities there can be found on this link). However I come regularly to the University of Ottawa (see information about my office at UoO) and much of my research information is still on this page.

Over the years, I have published in a number of subjects: parallel program schemata; model-oriented software engineering; analysis of music; design and formal analysis of communications protocols; algebraic language LOTOS; design and formal analysis of complex telephony systems; the problem of feature interaction; formal logic in legal reasoning; software implementation of legal norms; security and access control systems; history of computing.

I have also been involved in new program creation and curriculum development in all three cycles of studies.

Prospective PhD students interested in being supervised by me should note that I can only co-supervise them at the University of Ottawa. This means that they will need a main supervisor who is a regular professor at the UofO. However I have full supervision rights at the UQO. Please read carefully my information sheet.


My scientific pedigree …


Students and postdocs

I am a member of the Association for Computing Machinery and of IFIP WG 6.1. I participate in ITU-T WG 11, 17, 19.

You can get information about our Telecommunications Software Engineering Research Group. I am also with the local Logic and Foundations Group.

Through the UoO LOTOS WWW page (no longer being updated) you can access much information related to my earlier work, including my older papers, technical reports, and theses.

·         Recent papers, as well as several older ones, are here.

·         Some presentations are here.

·         Program committee memberships are here.



School of Electrical Engineering and Computer Science
Faculty of Engineering
University of Ottawa
800 King Edward, Room 4-050 - For messenger delivery, please also specify Room 5-105 (SITE secr.)
P.O. Box 450, Stn A,
Ottawa, Ontario, Canada, K1N 6N5
Phone direct: +1-613-562-5800 ext. 6704
Fax: +1-613-562-5664
How to come to my office at UoO .

Liens personnels.