Bob Coecke

Bob Coecke

Bob Coecke
Born (1968-07-23) 23 July 1968
Fields
Institutions
Alma mater
Thesis Hidden Measurement Systems (1996)
Doctoral advisor
  • Diederik Emiel Aerts
  • Jean Reignier[2]
Doctoral students
Website
www.cs.ox.ac.uk/people/bob.coecke/

Bob Coecke (born 1968) is a theoretical physicist, professor of Quantum Foundations, Logics and Structures at Oxford University, and a pioneer of categorical quantum mechanics.

Education and career

Coecke obtained his Doctorate in Sciences at the Vrije Universiteit Brussel in 1996 [2] and performed postdoctorate work in the Theoretical Physics Group of Imperial College, London and in the Category Theory Group of the Mathematics and Statistics Department at McGill University in Montreal, and was formally affiliated with the Department of Pure Mathematics and Mathematical Statistics of Cambridge University.[3] He was an EPSRC Advanced Research Fellow at the Department of Computer Science, University of Oxford, where he became Lecturer in Quantum Computer Science in 2007, and jointly with Samson Abramsky leads the Quantum Group. In 2009, he worked as visiting scientist at the Perimeter Institute for Theoretical Physics.[3] In July 2011, he was nominated professor of Quantum Foundations, Logics and Structures at Oxford University, with retroactive effect as of October 2010. He is Governing Body Fellow of Wolfson College, Oxford since 2007.[3][4][5]

Work

Coecke's research focuses on the foundations of physics, more particularly category theory and logic, and more recently, diagrammatic reasoning, with application to quantum informatics and quantum gravity.[6] He has pioneered categorical quantum mechanics together with Samson Abramsky, and spearheaded the development of a diagrammatic quantum formalism based on Penrose graphical notation on which he wrote a textbook entitled Picturing Quantum Processes, with Aleks Kissinger. He also pioneered the categorical distributional natural language meaning, with Stephen Clark and Mehrnoosh Sadrzadeh.

He has organised events at the interface of quantum foundations, logic and category theory;[7] in particular, he has participated in committees organising international workshops on quantum physics, logic, and quantum programming.[8][9][10]

Media reception

The work of Coecke and his co-workers on the application of categorical quantum mechanics to natural language processing in computational linguistics was featured in New Scientist in December 2010.[11]

Publications

Books (as editor)
Articles (selection)

See also

References

  1. Bob Coecke's publications indexed by Google Scholar
  2. 1 2 3 Bob Coecke at the Mathematics Genealogy Project
  3. 1 2 3 Bob Coecke, Department of Computer Science, University of Oxford (downloaded 1 April 2012)
  4. Faculty Computing Laboratory at the University of Oxford (downloaded 1 April 2012)
  5. College Officers, Governing Body Fellows & Visiting Scholars, Wolfson College, University of Oxford (downloaded 1 April 2012)
  6. Bob Coecke, LinkedIn (downloaded 1 April 2012)
  7. Personal home page at Oxford University (downloaded 1 April 2012)
  8. 5th International Workshop on Quantum Physics and Logic (downloaded 1 April 2012)
  9. 4th International Workshop on Quantum Programming Languages (downloaded 1 April 2012)
  10. 3rd International Workshop on Quantum Programming Languages (downloaded 1 April 2012)
  11. Jacob Aron: Quantum links let computers understand language, New Scientist, 11 December 2010, p. 10–11 (abstract)

External links

This article is issued from Wikipedia - version of the 11/13/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.