Where did the author of A larger decidable semiunification problem receive his B.Sc., M.Sc., and Ph.D.?
University of Manitoba
Gordon V. Cormack and Maura R. Grossman: Technology-Assisted Review in Empirical Medicine: Waterloo Participation in CLEF eHealth 2018. (2018) authored by Gordon V. Cormack. Adam Roegiest et al.: Impact of Review-Set Selection on Human Assessment for Text Classification. (2015) authored by Gordon V. Cormack. Gordon V. Cormack and Thomas R. Lynam: Online supervised spam filter evaluation. (2017) authored by Gordon V. Cormack. Haotian Zhang et al.: On the relative age of spam and ham training samples for email filtering. (2009) authored by Gordon V. Cormack. Gordon V. Cormack et al.: Feature engineering for mobile (SMS) spam filtering. (2019) authored by Gordon V. Cormack. Thomas R. Lynam et al.: A multi-system analysis of document and term selection for blind feedback. (2004) authored by Gordon V. Cormack Grossman has been cited in cases of first impression in United States, Ireland, and (by reference) United Kingdom approving the use of technology-assisted review in civil litigation.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: Where did the author of A larger decidable semiunification problem receive his B.Sc., M.Sc., and Ph.D.?
Context: Gordon V. Cormack and Maura R. Grossman: Technology-Assisted Review in Empirical Medicine: Waterloo Participation in CLEF eHealth 2018. (2018) authored by Gordon V. Cormack. Adam Roegiest et al.: Impact of Review-Set Selection on Human Assessment for Text Classification. (2015) authored by Gordon V. Cormack. Gordon V. Cormack and Thomas R. Lynam: Online supervised spam filter evaluation. (2017) authored by Gordon V. Cormack. Haotian Zhang et al.: On the relative age of spam and ham training samples for email filtering. (2009) authored by Gordon V. Cormack. Gordon V. Cormack et al.: Feature engineering for mobile (SMS) spam filtering. (2019) authored by Gordon V. Cormack. Thomas R. Lynam et al.: A multi-system analysis of document and term selection for blind feedback. (2004) authored by Gordon V. Cormack Grossman has been cited in cases of first impression in United States, Ireland, and (by reference) United Kingdom approving the use of technology-assisted review in civil litigation.
[/INST] Answer:
