The Strachey Lectures in Computing Science
This is a termly series of Distinguished Lectures named after Christopher Strachey, the first Professor of Computation at Oxford University.
Christopher Strachey was the first leader of the Programming Research Group (PRG), part of the Oxford University Computing Laboratory (OUCL), founded in 1965. He was the first Professor of Computation at Oxford, succeeded by Sir Tony Hoare in 1977 after his untimely death. With Dana Scott he founded the field of denotational semantics, providing a firm mathematical foundation for programming languages.
Forthcoming seminarsPrevious seminars
Tuesday 7th May
(week 3, Trinity Term 2013).
16:30 in Lecture Theatre B
Professor Andrew C. Yao
(Director, Institute for Theoretical Computer Science, Tsinghua University)
29th January
(week 3, Hilary Term 2013).
16:30 in Lecture Theatre B
Professor Mooly (Shmuel) Sagiv
(School of Computer Science, Tel Aviv University)
Tuesday 16th October
(week 2, Michaelmas Term 2012).
16:30 in Lecture Theatre A
Professor Christos Papadimitriou
(C. Lester Hogan Professor of EECS at University of California at Berkeley)
Tuesday 1st May
(week 2, Trinity Term 2012).
16:30 in Lecture Theatre B
Professor Neil D Jones and Jakob Grue Simonsen
(Department of Computer Science (DIKU) University of Copenhagen, Denmark)
Tuesday 6th March
(week 8, Hilary Term 2012).
16:30 in Lecture Theatre B
Professor Rajeev Alur
(University of Pennsylvania)
Thursday 8th December
(week 9, Michaelmas Term 2011).
16:30 in Lecture Theatre B, E-Science Building, 7 Keble Road, Oxford
Professor Robert E. Tarjan
(Princeton University and HP Labs)
Tuesday 10th May
(week 2, Trinity Term 2011).
16:30 in Lecture Theatre B
Dr Linda Northrop
(Software Engineering Institute, Carnegie Mellon University)
Tuesday 22nd February
(week 6, Hilary Term 2011).
16:30 in Lecture Theatre B
Professor Anthony Finkelstein
(University College London)
Tuesday 16th November
(week 6, Michaelmas Term 2010).
16:30 in Lecture Theatre B
Professor Jane Hillston
(University of Edinburgh)
Tuesday 11th May
(week 3, Trinity Term 2010).
16:30 in Lecture Theatre B
Professor O Grumberg
(TECHNION, Israel Institute of Technology)
Tuesday 2nd February
(week 3, Hilary Term 2010).
16:30 in Lecture Theatre B
Professor C B Jones
(Newcastle University)
Tuesday 27th October
(week 3, Michaelmas Term 2009).
16:30 in Lecture Theatre B
Professor Simon Peyton-Jones
(Microsoft Research Cambridge)
Tuesday 12th May
(week 3, Trinity Term 2009).
16:30 in Lecture Theatre B
Professor Edmund M. Clarke
(FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering, Carnegie Mellon University)
Tuesday 10th February
(week 4, Hilary Term 2009).
16:30 in Lecture Theatre B
Professor Christopher Bishop
(Chief Research Scientist at Microsoft Research, Cambridge. Also Professor of Computer Science at the University of Edinburgh, and a Fellow of Darwin College, Cambridge.)
Tuesday 14th October
(week 1, Michaelmas Term 2008).
16:30 in Lecture Theatre B
Randy Bryant
(Carnegie Mellon, School of Computer Science)
Tuesday 13th May
(week 4, Trinity Term 2008).
16:15 in Lecture Theatre A
Dr Guy Steele and Dr Richard Gabriel
(Sun Microsystems & IBM Research)
Tuesday 15th January
(week 1, Hilary Term 2008).
16:30 in Computing Laboratory Lecture Theatre
Professor David Harel
(Dept. of Computer Science and Applied Mathematics, Weizmann Institute of Science)
Tuesday 30th October
(week 2, Michaelmas Term 2007).
16:30 in Lecture Theatre
Professor Bertrand Meyer
(Software Engineering, ETH Zurich)
Tuesday 1st May
(week 2, Trinity Term 2007).
16:30 in Lecture Theatre
Professor Alan Bundy
(School of Informatics, University of Edinburgh)
Tuesday 16th January
(week 2, Hilary Term 2007).
16:30 in Lecture Theatre
Professor Olivier Danvy
(Department of Computer Science, University of Aarhus, Denmark)
Tuesday 17th October
(week 2, Michaelmas Term 2006).
16:30 in Lecture Theatre
Professor Thomas A Henzinger
(School of Computer & Communication Sciences, EPFL, Lausanne, Switzerland)
Tuesday 9th May
(week 2, Trinity Term 2006).
16:30 in Lecture Theatre
John Reynolds
(Computer Science Department, Carnegie Mellon University)
Tuesday 17th January
(week 2, Hilary Term 2006).
16:30 in Lecture Theatre
Professor Moshe Y Vardi
(Rice University)
Tuesday 8th November
(week 2, Michaelmas Term 2005).
16:30 in Lecture Theatre
Professor David Parnas
(Software Quality Research Laboratory, University of Limerick)
Tuesday 26th April
(week 2, Trinity Term 2005).
16:30 in Lecture Theatre
Professor Philip Wadler
(School of Informatics, University of Edinburgh)
Tuesday 18th January
(week 2, Hilary Term 2005).
16:30 in Lecture Theatre
Professor Jean-Raymond Abrial
(Swiss Federal Institute of Technology, Zurich)
Tuesday 2nd November
(week 2, Michaelmas Term 2004).
16:30 in Lecture Theatre
Professor Richard Brent
(University of Oxford)
Tuesday 27th April
(week 2, Trinity Term 2004).
16:30 in Lecture Theatre
Grady Booch
(IBM Fellow)
Tuesday 20th January
(week 2, Hilary Term 2004).
16:30 in Lecture Theatre
Professor Mike Gordon
(University of Cambridge)
Tuesday 14th October
(week 2, Michaelmas Term 2003).
16:30 in Lecture Theatre
Dr Peter Buneman
(University of Edinburgh)
Tuesday 29th April
(week 2, Trinity Term 2003).
16:30 in Lecture Theatre
Professor Margaret H Wright
(Silver Professor of Computer Science and chair of the Computer Science Department, Courant Institute of Mathematical Sciences, New York University)
Tuesday 21st January
(week 2, Hilary Term 2003).
16:30 in Lecture Theatre
Professor Tony Hey
(Director of the UK e-Science Core Programme, EPSRC)
Tuesday 15th October 2002 16:30 in Lecture Theatre
Michael Rabin
(Harvard University)
Tuesday 23rd April 2002 16:30 in Lecture Theatre
Luca Cardelli
(Microsoft Research, Cambridge)
Tuesday 22nd January 2002 16:30 in Martin Wood Lecture Theatre, Clarendon Laboratory
Professor Sir Tony Hoare FRS
(Microsoft Research, Cambridge)
Tuesday 9th October 2001 16:30 in Lecture Theatre
Professor Robin Milner
(University of Cambridge Computer Laboratory)
Tuesday 24th April 2001 16:30 in Lecture Theatre
Professor Edsger W Dijkstra
(University of Texas at Austin)
Tuesday 16th January 2001 16:30 in Lecture Theatre
Professor Don Knuth
(Stanford University)
Tuesday 10th October 2000 16:30 in Lecture Theatre
Prof Mike Paterson
(University of Warwick)
Tuesday 2nd May 2000 16:30 in Lecture Theatre
Leslie Lamport
(Compaq Systems Research Center)
Tuesday 25th January 2000 16:00 in Lecture Theatre
Prof John Hughes
(Chalmers University of Technology)
Tuesday 12th October 1999 16:30 in Lecture Theatre
Samson Abramsky
(University of Edinburgh)
Tuesday 27th April 1999 16:30 in Lecture Theatre
Richard M Karp
(University of Washington)
Tuesday 13th October 1998 16:30 in Lecture Theatre
Butler W Lampson
(Architect, Microsoft Corporation)
Tuesday 5th May 1998 16:30 in Lecture Theatre
Anthony E Sale, Hon FBCS
(Museums Director, Bletchley Park)
Tuesday 24th February 1998 17:00 in Lecture Theatre
Gérard Huet
(INRIA)
Tuesday 14th October 1997 17:00 in Lecture Theatre
Professor Niklaus Wirth
(ETH, Zurich)
Tuesday 6th May 1997 17:00 in Lecture Theatre
Professor Amir Pnueli
(Weizmann Institute of Science, Israel)
Tuesday 28th January 1997 17:00 in Lecture Theatre
Professor David May
(University of Bristol)
Tuesday 22nd October 1996 17:00 in Lecture Theatre
Professor Jay Misra
(University of Texas at Austin)
Tuesday 30th April 1996 17:00 in Lecture Theatre
Professor Gordon Plotkin
(Department of Computer Science, University of Edinburgh)
Tuesday 23rd January 1996 17:00 in Lecture Theatre
Dr Andy Hopper
(Reader in Computer Technology, University of Cambridge and Vice President Research, Olivetti)
Tuesday 3rd October 1995 17:00 in Lecture Theatre
Dana S Scott
(Hillman University Professor of Computer Science, Mathematical Logic and Philosophy, Carnegie Mellon University, Pittsburgh, Pennsylvania)
Coordinator |
