Gavin Lowe (computer scientist)
{{short description|British academic}}
{{about|the computer scientist|the rugby player|Gavin Lowe}}
{{Use dmy dates|date=April 2018}}
{{Infobox scientist
| image =
| name = Gavin Lowe
| nationality = British
| fields = Computer Science
| workplaces = University of Oxford (from 2000)
University of Leicester (until 2000)
| patrons =
| alma_mater = Oxford University
| thesis_title = Probabilities and Priorities in Timed CSP
| thesis_url = http://www.cs.ox.ac.uk/gavin.lowe/Papers/Probs/thesis.ps.gz
| thesis_year = 1993
| doctoral_advisor = Bill Roscoe
}}
Gavin Lowe is a British academic. He is a professor of computer science and tutorial fellow at St Catherine's College, Oxford, a professor at the University of Oxford, and President of the Senior Common Room of St Catherine's College, Oxford. His research interests include computer security, for which he developed the cryptographic protocol analysis tool Casper, and concurrency.
Education
Lowe studied mathematics as an undergraduate at St John's College, Oxford, then took an MSc in computation at the University of Oxford. He undertook a DPhil at St Hugh's College, Oxford, writing a thesis titled Probabilities and Priorities in Timed CSP. He published a paper detailing an attack on the Needham–Schroeder protocol, as well as a method to fix the issue, in 1995. The fixed version of the protocol described in the paper is referred to as the Needham–Shroeder–Lowe protocol.
Career
His research interests have included computer security, for which he developed the cryptographic protocol analysis tool Casper. This tool translates a security protocol description into CSP, which is then processed by the FDR refinement checker. Recently, he has moved to researching the field of concurrency.
He was Program Co-chair of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security in 2010.
Lowe is a distinguished teacher, having won teaching awards in 2008 and 2010. Along with Peter Millican, he is responsible for the development and establishment of a new joint degree in Computer Science and Philosophy at the University of Oxford in 2012.
Personal life
Lowe enjoys caving. He was the secretary of the Oxford University Cave Club from 1988 to 1989, and tackle master in 1990.
References
{{reflist|30em|refs=
{{cite web|url=http://www.cs.ox.ac.uk/gavin.lowe/|title=Gavin Lowe|publisher=Department of Computer Science, University of Oxford|access-date=10 February 2018}}
{{cite web|url=http://www.stcatz.ox.ac.uk/node/356|title=Gavin lowe|publisher=St Catherine's College, Oxford|access-date=10 February 2018}}
{{cite web|url=http://www.cs.ox.ac.uk/gavin.lowe/Publications.html|publisher=University of Oxford|title=Publications by Gavin Lowe|access-date=10 February 2018}}
{{cite thesis|type=DPhil|last=Lowe|first=Gavin|date=1994|title=Probabilities and priorities in timed CSP|publisher=University of Oxford}}
{{cite web|url=https://www2.le.ac.uk/departments/informatics/people/ex-staff|publisher=University of Leicester|title=Ex-Staff - University of Leicester|access-date=10 February 2018}}
{{cite web|url=http://www.cs.ox.ac.uk/gavin.lowe/Security/Casper/|publisher=University of Oxford|title=Casper: A Compiler for the Analysis of Security Protocols|access-date=10 February 2018}}
{{Cite journal | last1=Lowe | first1=Gavin |
title=An attack on the Needham-Schroeder public key authentication protocol. |
journal=Information Processing Letters |
volume=56 |
issue=3 |
pages=131–136 |
date=November 1995 |
url=http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/NSPKP.ps |
doi=10.1016/0020-0190(95)00144-2 |
accessdate=17 April 2008 | citeseerx=10.1.1.394.6094 }}
{{cite web|title=Supplement (1) to Gazette No. 4857|url=https://www.ox.ac.uk/gazette/2008-9/supps/1_4857.pdf|publisher=University of Oxford|page=3|date=22 October 2008|access-date=11 February 2018|archive-url=https://web.archive.org/web/20180224220858/https://www.ox.ac.uk/gazette/2008-9/supps/1_4857.pdf|archive-date=24 February 2018|url-status=dead}}
{{cite web|title=Supplement (1) to Gazette No. 4931, Vol 141|url=https://www.ox.ac.uk/media/global/wwwoxacuk/localsites/gazette/documents/supplements2010-11/Oxford_Teaching_Awards_2009-10.pdf|publisher=University of Oxford|page=1|date=27 October 2010}}
{{cite web|title=Teaching Excellence Awards winners announced|url=https://www.cs.ox.ac.uk/news/216-full.html|publisher=Department of Computer Science, University of Oxford|date=5 July 2010}}
}}
{{authority control}}
{{DEFAULTSORT:Lowe, Gavin}}
Category:Year of birth missing (living people)
Category:Alumni of St John's College, Oxford
Category:Fellows of St Catherine's College, Oxford
Category:British computer scientists
Category:Alumni of St Hugh's College, Oxford
Category:Members of the Department of Computer Science, University of Oxford