Tu banner alternativo

Gavin Lowe (computer scientist)

Nowadays, Gavin Lowe (computer scientist) has become a topic of great interest to a wide spectrum of people around the world. From its impact on society to its influence on people's daily lives, Gavin Lowe (computer scientist) is a topic that has aroused great interest in different areas. Both experts in the field and ordinary people have dedicated time and effort to understanding and analyzing Gavin Lowe (computer scientist), seeking to obtain a better understanding of its importance and impact on different aspects of life. In this article, we will explore some of the most relevant aspects related to Gavin Lowe (computer scientist), with the aim of offering a comprehensive view on this topic that is of great relevance today.

Tu banner alternativo
This article is about the computer scientist. For the rugby player, see Gavin Lowe.

Gavin Lowe
Alma materOxford University
Scientific career
FieldsComputer Science
InstitutionsUniversity of Oxford (from 2000)[1] University of Leicester (until 2000)[2]
ThesisProbabilities and Priorities in Timed CSP (1993)
Doctoral advisorBill Roscoe

Gavin Lowe is a British academic. He is a professor of computer science[3] and tutorial fellow at St Catherine's College, Oxford,[1] a professor at the University of Oxford,[3] and President of the Senior Common Room of St Catherine's College, Oxford.[1] 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,[4] then took an MSc in computation at the University of Oxford.[1] He undertook a DPhil at St Hugh's College, Oxford,[5] writing a thesis titled Probabilities and Priorities in Timed CSP.[5][6] He published a paper detailing an attack on the Needham–Schroeder protocol, as well as a method to fix the issue, in 1995.[7][8] The fixed version of the protocol described in the paper is referred to as the Needham–Shroeder–Lowe protocol.[9]

Career

His research interests have included computer security, for which he developed the cryptographic protocol analysis tool Casper.[10] 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.[3]

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.[11]

Lowe is a distinguished teacher, having won teaching awards in 2008[12] and 2010.[13][14] 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.[13][15]

Personal life

Lowe enjoys caving.[16] He was the secretary of the Oxford University Cave Club from 1988 to 1989, and tackle master in 1990.[4]

References

  1. ^ a b c d "Gavin lowe". St Catherine's College, Oxford. Retrieved 10 February 2018.
  2. ^ "Ex-Staff - University of Leicester". University of Leicester. Retrieved 10 February 2018.
  3. ^ a b c "Gavin Lowe". Department of Computer Science, University of Oxford. Retrieved 10 February 2018.
  4. ^ a b "OU Cave Club History". www.oucc.org.uk. Retrieved 11 February 2018.
  5. ^ a b Lowe, Gavin (1994). Probabilities and priorities in timed CSP (DPhil). University of Oxford.
  6. ^ "Publications by Gavin Lowe". University of Oxford. Retrieved 10 February 2018.
  7. ^ Lowe, Gavin (November 1995). "An attack on the Needham-Schroeder public key authentication protocol". Information Processing Letters. 56 (3): 131–136. CiteSeerX 10.1.1.394.6094. doi:10.1016/0020-0190(95)00144-2. Retrieved 17 April 2008.
  8. ^ "Cryptography is Hard".
  9. ^ Computer security, ESORICS 96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25–27, 1996 : proceedings. Bertino, Elisa. Berlin: Springer. 1996. ISBN 9783540617709. OCLC 35364818.{{cite book}}: CS1 maint: others (link)
  10. ^ "Casper: A Compiler for the Analysis of Security Protocols". University of Oxford. Retrieved 10 February 2018.
  11. ^ Armando, Alessandro; Lowe, Gavin (27–28 March 2010). Armando, Alessandro; Lowe, Gavin (eds.). Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Lecture Notes in Computer Science. Vol. 6186. Springer. p. 185. Bibcode:2011LNCS.6186.....A. doi:10.1007/978-3-642-16074-5. ISBN 978-3-642-16073-8. S2CID 27746720.
  12. ^ "Supplement (1) to Gazette No. 4857" (PDF). University of Oxford. 22 October 2008. p. 3. Archived from the original (PDF) on 24 February 2018. Retrieved 11 February 2018.
  13. ^ a b "Supplement (1) to Gazette No. 4931, Vol 141" (PDF). University of Oxford. 27 October 2010. p. 1.
  14. ^ "Teaching Excellence Awards winners announced". Department of Computer Science, University of Oxford. 5 July 2010.
  15. ^ Alice Lighton (22 October 2010). "NEWS New degree: I process, therefore I am". Oxford Student.
  16. ^ "Gavin Lowe's Caving Page". Retrieved 10 February 2018.
Wikious
Boobota
Sagapedia