Dr Luigi Logrippo

Adjunct Professor

  • Research interests: 
    • Formal methods in security, privacy and governance
      • Formal specification, formal design, validation, verification, testing
      • Access control models and methods
      • Legal conformance
      • 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). 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 (now NortelNetworks)  and at the University of Twente (NL). 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. However I come regularly to the University of Ottawa (see below information about my office here) and much of my research information is still on this page.

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 , including my own, or see some pictures.  I am also with the local Logic and Foundations Group.

Through the UoO LOTOS WWW page you can access much information related to my group's research, including my older papers, technical reports, and theses.

·        Recent papers are here.

·        Recent theses are here. 

·        Recent presentations are here.

Some of my main professional collaborators at the University of Ottawa are or have been:

Some of the students working under my supervision at the UoO are:

Some students from the past at UoO are:

These PhD students have become professors:

·         Daniel Amyot

·         Rossana Andrade

·         Abdellatif Obaïd

And I should not forget the Postdoctoral Fellows who have become professors:

·         Xiao Jun (Jessica) Chen

·         Masahide Nakamura

Note to my students and collaborators: I am very proud of you all. If you have a web page, please let me know and I will link to you.

School of Information Technology and Engineering (SITE )
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
Email: luigi@site.uottawa.ca or luigi@eiti.uottawa.ca
How to come to my office at UoO .

These are links for me only. Really.

Contactez: L'École d'ingénierie et de technologie de l'information /
Contact: School of Information Technology and Engineering
Copyright © 2001 Université d'Ottawa / University of Ottawa
Webmestre / Webmaster

List of SITE personnel