Room: STE 4009B
Office: 613-562-5800 ext. 6704
Work E-mail: email@example.comOttawa.ca
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