Luigi Logrippo
Professor EmeritusUniversity of Ottawa · Electrical Engineering and Computer Science
software engineering · security
- formal methods in security
- privacy and governance
- formal specification
- formal design
- validation
- verification
University of Ottawa · Electrical Engineering and Computer Science
software engineering · security