Paul C. Gilmore is Professor Emeritus in the Computer Science Department at the University of British Columbia, Vancouver. His research interests include logical foundations of mathematics and computer science, applications of logic in computer science, and databases.
