Bob Coecke (nacido en 1968) es un físico teórico belga , profesor de Fundamentos , Lógica y Estructuras Cuánticas en la Universidad de Oxford , y pionero de la mecánica cuántica categórica , el cálculo ZX , el significado del lenguaje natural DisCoCat y el procesamiento del lenguaje natural cuántico. También es Asesor Científico Senior de Cambridge Quantum Computing Ltd.
Bob Coecke | |
---|---|
Nació | 23 de julio de 1968 |
alma mater | |
Carrera científica | |
Campos | |
Instituciones | |
Tesis | Sistemas de medición ocultos (1996) |
Asesor de doctorado |
|
Sitio web | www |
Educación y carrera
Coecke obtuvo su Doctorado en Ciencias en la Vrije Universiteit Brussel en 1996, [2] y realizó un trabajo de posdoctorado en el Grupo de Física Teórica del Imperial College, Londres y en el Grupo de Teoría de Categorías del Departamento de Matemáticas y Estadística de la Universidad McGill en Montreal, y estaba afiliado formalmente al Departamento de Matemáticas Puras y Estadística Matemática de la Universidad de Cambridge . [3] Fue investigador avanzado de EPSRC en el Departamento de Ciencias de la Computación de la Universidad de Oxford , donde se convirtió en profesor de Ciencias de la Computación Cuántica en 2007, y junto con Samson Abramsky lidera el Grupo Cuántico. En 2009, trabajó como científico invitado en el Instituto Perimetral de Física Teórica . [3] En julio de 2011, fue nombrado profesor de Fundamentos, Lógica y Estructuras Cuánticas en la Universidad de Oxford, con efecto retroactivo a partir de octubre de 2010. Es miembro del Consejo de Administración del Wolfson College, Oxford desde 2007. [3] [4] [5]
Trabaja
La investigación de Coecke se centra en los fundamentos de la física, más particularmente la teoría de categorías y la lógica , y más recientemente, el razonamiento esquemático, con aplicación a la informática cuántica , la gravedad cuántica y la PNL . [6] Ha sido pionero en la mecánica cuántica categórica junto con Samson Abramsky , y encabezó el desarrollo de un formalismo cuántico diagramático basado en la notación gráfica de Penrose en el que escribió un libro de texto titulado Picturing Quantum Processes, con Aleks Kissinger. También fue pionero en el significado del lenguaje natural distributivo categórico, con Stephen Clark y Mehrnoosh Sadrzadeh.
Es el padre fundador de la serie de conferencias Quantum Physics and Logic y Applied Category Theory, y de la revista de acceso abierto de diamantes Compositionally.
Recepción de medios
El trabajo de Coecke y sus colaboradores sobre la aplicación de la mecánica cuántica categórica al procesamiento del lenguaje natural en lingüística computacional se presentó en New Scientist en diciembre de 2010. [7] El trabajo sobre el procesamiento del lenguaje natural cuántico se presentó en el Quantum Daily en diciembre. 2020 y en PhysicsWorld en enero de 2021. [8] [9]
Publicaciones
- Libros de texto
- Bob Coecke, Aleks Kissinger: Imaginando procesos cuánticos. Un primer curso en teoría cuántica y razonamiento esquemático , Cambridge University Press, 2017, ISBN 978-1316219317
- Libros (como editor)
- Bob Coecke (ed.): Nuevas estructuras para la física , Lecure Notes in Physics 813, Springer, 2011, ISBN 978-3642128202
- Bob Coecke, David Moore, Alexander Wilce (eds.): Investigación actual en lógica cuántica operativa: álgebras, categorías, lenguajes , teorías fundamentales de la física, Kluwer Academic, 2010, ISBN 978-9048154371
- Artículos (selección)
- Will Zeng, Bob Coecke: Algoritmos cuánticos para el procesamiento del lenguaje natural composicional , arXiv: 1608.01406
- Bob Coecke, Tobias Fritz, Robert Spekkens: una teoría matemática de los recursos , arXiv: 1409.5531
- Bob Coecke, Mehrnoosh Sadrzadeh, Steven Clark: Fundamentos matemáticos para un modelo de distribución composicional del significado , arXiv: 1003.4394
- Bob Coecke: Picturalismo cuántico , arXiv: 0908.1787
- Bob Coecke, Ross Duncan: Interacción de observables cuánticos , autómatas, lenguajes y programación, págs. 298-310, 2008
- Bob Coecke: mecánica cuántica de jardín de infancia , arXiv: quant-ph / 0510032
- Samson Abramsky, Bob Coecke: Una semántica categórica de los protocolos cuánticos , Actas del 19º Simposio Anual del IEEE sobre Lógica en Ciencias de la Computación, 2004, págs. 415–425
Ver también
- Mecánica cuántica categórica
- Categoría compacta de daga
- Álgebra de Frobenius
- Samson Abramsky
- Cálculo ZX
Referencias
- ^ Publicaciones de Bob Coecke indexadas por Google Scholar
- ^ a b Bob Coecke en el Proyecto de genealogía de matemáticas
- ^ a b c Bob Coecke , Departamento de Ciencias de la Computación, Universidad de Oxford (descargado el 1 de abril de 2012)
- ^ Laboratorio de Computación de la Facultad de la Universidad de Oxford (descargado el 1 de abril de 2012)
- ^ Oficiales universitarios, becarios del cuerpo rector y académicos visitantes , Wolfson College, Universidad de Oxford (descargado el 1 de abril de 2012)
- ^ Bob Coecke , LinkedIn (descargado el 1 de abril de 2012)
- ^ Jacob Aron: Los enlaces cuánticos permiten que las computadoras entiendan el lenguaje , New Scientist, 11 de diciembre de 2010, p. 10-11 ( resumen )
- ^ Swayne, Matt (10 de diciembre de 2020). " ' Significado Aware' Informática: CQC Los investigadores realizan grandes PNL Avance en Uso de ordenadores cuánticos para comprender el lenguaje y en el logro significativo Advantage Quantum" . El diario cuántico . Consultado el 19 de marzo de 2021 .
- ^ Johnston, Hamish (7 de enero de 2021). "Procesando el lenguaje natural usando computadoras cuánticas, escuchando la miríada de sonidos de los océanos" . Mundo de la física . Consultado el 19 de marzo de 2021 .
enlaces externos
- Perfil en Google Scholar
- Publicaciones , DBLP Computer Science Bibliography, uni-trier.de
- Conferencias de Bob Coecke , Archivo de seminarios grabados del Perimeter Institute (PIRSA)
- Bob Coecke , oxford.academia.eu