Dr Luigi Logrippo Adjunct 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). 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 (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 some of my research information is still on this page.

Students interested in being supervised by me should note that I can only co-supervise at the University of Ottawa. This means that they will have to have a main supervisor who is a regular professor.

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.

This page has been translated into Romanian by Web Hosting Geeks.

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.

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