Lovelace lecture
This is an annual public lecture delivered by the winner of the Lovelace medal.
2014 lecture – Professor Samson Abramsky – 5 June, London
The 2014 lecture will be delivered by Professor Samson Abramsky, University of Oxford. The lecture will take place on 5 June 2014 at the Huxley Building, Imperial College, London.
| Registrations for the 2014 Lovelace lecture are now open. Book here |
About the speaker
Samson Abramsky is Christopher Strachey Professor of Computing and a Fellow of Wolfson College, Oxford University. Previously he held chairs at the Imperial College of Science, Technology and Medicine, and at the University of Edinburgh. He holds MA degrees from Cambridge and Oxford, and a PhD from the University of London.
He is a Fellow of the Royal Society, a Fellow of the Royal Society of Edinburgh, and a Member of Academia Europaea. His paper Domain theory in Logical Form won the LiCS Test-of-Time award (a 20-year retrospective) for 1987. He was awarded an EPSRC Senior Research Fellowship on Foundational Structures and Methods for Quantum Informatics in 2007. He was awarded the BCS Lovelace Medal in 2013.
He has played a leading role in the development of game semantics, and its applications to the semantics of programming languages. Other notable contributions include his work on domain theory in logical form, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and geometry of interaction. More recently, he has been working on high-level methods for quantum computation and information.
http://www.cs.ox.ac.uk/people/samson.abramsky/
Past lectures
2013 Grady Booch ‘I think, therefore I am: Is the mind computable?’
2012 Dr Hermann Hauser ‘Computer Architectures’
2011 Professor John Reynolds ‘Making Program Logics Intelligible’
2010 Professor Yorick Wilks ‘What will a companionable computational agent be like?’
2009 Maurice Perks (presented on behalf of Dr Tony Storey) ‘The Sins of IT Projects and why they can fail’
2008 Dr Ann Copestake (dedicated to the memory of Karen Spärck Jones) ‘What do we mean? Computational approaches to natural semantics’
2007 Sir Tim Berners-Lee ‘Looking Back, Looking Forward’
2006 Professor Nick McKeown ‘Internet Routers: Past, Present and Future’
2005 Professor Christopher M Bishop ‘Machines that learn’
2004 Dr John E Warnock ‘The Invention of PostScript and Acrobat’
Previous winners of the Lovelace medal have also included:
2002 Dr Ian Foster and Dr Carl Kesselman for their pioneering work in Grid technology
2001 Dr Douglas C Engelbart
2000 Linus Torvalds for his creation of LINUX
1998 Professor Michael Jackson and Mr Chris Burton