Bob Coecke (nacido el 23 de julio de 1968) es un físico teórico y lógico belga que fue profesor de fundamentos , lógica y estructuras cuánticas en la Universidad de Oxford hasta 2020, cuando se convirtió en científico jefe de Cambridge Quantum Computing , y después de la fusión con Honeywell Quantum Systems, Científico jefe de Quantinuum . En enero de 2023 también se convirtió en Cátedra de Investigación Visitante Distinguida en el Instituto Perimeter de Física Teórica . Fue pionero en la mecánica cuántica categórica (entrada 18M40 en Clasificación de materias de matemáticas 2020), picturalismo cuántico, [4] cálculo ZX , modelo DisCoCat para el lenguaje natural, [5] y procesamiento cuántico del lenguaje natural (QNLP). Es fundador de la comunidad y serie de conferencias Quantum Physics and Logic, y de la comunidad de teoría de categorías aplicadas, serie de conferencias y revista Diamond de acceso abierto Compositionality .
Coecke también es un compositor y músico, a quien retrospectivamente se le ha llamado un pionero de la música industrial , [6] [7] y Coecke también es uno de los pioneros en el empleo de computadoras cuánticas en la música. [8]
Educación y carrera
Coecke obtuvo su Doctorado en Ciencias en la Vrije Universiteit Brussel en 1996, [2] y realizó trabajos postdoctorales en el Grupo de Física Teórica del Imperial College de Londres en el Grupo de Teoría de Categoría del Departamento de Matemáticas y Estadística de la Universidad McGill de Montreal, en el Departamento de Matemática Pura y Estadística Matemática de la Universidad de Cambridge , y en el Departamento de Ciencias de la Computación de la Universidad de Oxford .
Fue becario de investigación avanzada 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 construyó y dirigió el Grupo Quantum, que en 2020 tenía más de 50 miembros. En 2009, trabajó como científico visitante en el Instituto Perimeter de Física Teórica . [9] En julio de 2011, fue nombrado profesor de Fundamentos, Lógicas y Estructuras Cuánticas en la Universidad de Oxford, con efecto retroactivo a partir de octubre de 2010. Fue miembro del Consejo de Administración del Wolfson College de Oxford desde 2007, donde ahora es emérito. Compañero. [9] [10] [11]
En enero de 2019 se convirtió en asesor científico senior de Cambridge Quantum Computing y en enero de 2021 renunció a su cátedra en Oxford para convertirse en científico jefe de Cambridge Quantum Computing . Después de la fusión de Cambridge Quantum Computing con Honeywell Quantum Systems, permaneció como científico jefe de la entidad conjunta Quantinuum .
En enero de 2023 también se convirtió en Cátedra de Investigación Visitante Distinguida en el Instituto Perimeter de Física Teórica .
Trabajar
La investigación de Coecke se centra en los fundamentos de la física, más particularmente la teoría de categorías , la lógica y el razonamiento esquemático, con aplicación a la informática cuántica , la gravedad cuántica y la PNL . [12] Ha sido pionero en la mecánica cuántica categórica junto con Samson Abramsky , y encabezó el desarrollo de un formalismo cuántico esquemático basado en la notación gráfica de Penrose , sobre el cual escribió un libro de texto titulado Picturing Quantum Processes con Aleks Kissinger. Con Ross Duncan fue pionero en el cálculo ZX . Fue pionero en el modelo DisCoCat para lenguaje natural, con Stephen Clark y Mehrnoosh Sadrzadeh . También fue pionero en el procesamiento cuántico del lenguaje natural (QNLP), con Will Zeng y sus colegas de Cambridge Quantum Computing .
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 apareció en New Scientist en diciembre de 2010. [13] El trabajo sobre el procesamiento cuántico del lenguaje natural apareció en el Quantum Daily en diciembre 2020 y en PhysicsWorld en enero de 2021. [14] [15]
Música
Coecke también es músico y toca y graba desde los años ochenta. Retrospectivamente se le ha llamado un pionero de la música industrial . [16] [17] Su banda, Black Tish, "usó técnicas de muestreo de vanguardia para la época, una gran cantidad de sintetizadores y bucles de sonido y guitarras de estilo metal para crear una fusión de rock pesado y electrónica como nunca antes se había escuchado", [ 18] y "cerrar la brecha entre la naturaleza puramente experimental de bandas como Throbbing Gristle y Einstürzende Neubauten y los (comparativamente) más accesibles a la radio Ministry o Nine Inch Nails ". [19]
Coecke es también uno de los pioneros en el empleo de ordenadores cuánticos en la música. [20]
Publicaciones
- Libros de texto
- Bob Coecke, Aleks Kissinger: imaginando procesos cuánticos. Un primer curso de teoría cuántica y razonamiento diagramamático , Cambridge University Press, 2017, ISBN 978-1316219317
- Bob Coecke, Stefano Gogioso: Quantum en imágenes , Quantinuum, 2022, ISBN 978-1-7392147-1-5
- Libros (como editor)
- Bob Coecke (ed.): Nuevas estructuras para la física , Apuntes de conferencias sobre física 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)
- Konstantinos Meichanetzidis, Alexis Toumi, Giovanni de Felice, Bob Coecke: Respuestas a preguntas basadas en la gramática en computadoras cuánticas , arXiv:2012.03756
- Bob Coecke: Las matemáticas de la estructura del texto , arXiv:1904.03478
- Will Zeng, Bob Coecke: Algoritmos cuánticos para el procesamiento compositivo del lenguaje natural , arXiv:1608.01406
- Bob Coecke, Tobias Fritz, Robert Spekkens : una teoría matemática de los recursos , arXiv:1409.5531
- Bob Coecke: Un evangelio alternativo de la estructura: orden, composición, procesos, arxiv:1307.4038
- Bob Coecke, Mehrnoosh Sadrzadeh, Steven Clark: Fundamentos matemáticos para un modelo composicional distributivo de 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 infantes , arXiv:quant-ph/0510032
- Samson Abramsky, Bob Coecke: Una semántica categórica de protocolos cuánticos , Actas del 19º Simposio anual del IEEE sobre lógica en informática, 2004, págs.
- Artículos de software
- Eduardo Reck Miranda, Richie Yeung, Anna Pearson, Konstantinos Meichanetzidis, Bob Coecke: un enfoque cuántico de procesamiento del lenguaje natural para la inteligencia musical , arXiv:2111.06741
- Dimitri Kartsaklis, Ian Fan, Richie Yeung, Anna Pearson, Robin Lorenz, Alexis Toumi, Giovanni de Felice, Konstantinos Meichanetzidis, Stephen Clark, Bob Coecke: lambeq: una biblioteca Python eficiente de alto nivel para PNL cuántica , arXiv:2110.04236
- Giovanni de Felice, Alexis Toumi, Bob Coecke: Discopy: categorías monoidales en Python , arXiv:2111.06741
Ver también
Referencias
- ^ Publicaciones de Bob Coecke indexadas por Google Scholar
- ^ ab Bob Coecke en el Proyecto de genealogía de matemáticas
- ^ Obispo, Christopher (7 de diciembre de 2022). "Episodio 40 de Quantum Tech Pod: Bob Coecke, científico jefe de Quantinuum". Noticias internas sobre tecnología cuántica . Consultado el 12 de diciembre de 2022 .
Así que crecí en un pueblo de Bélgica [...] habrías oído hablar de la cerveza que producen, tal vez se llama
Duvel
[...] Así que esa es la cerveza de mi ciudad natal.
- ^ Coecke, Bob; Kissinger, Aleks (16 de marzo de 2017). Representando procesos cuánticos: un primer curso de teoría cuántica y razonamiento esquemático . ISBN 978-1107104228. OCLC 1026174191.
- ^ Coecke, Bob; Sadrzadeh, Mehrnoosh; Clark, Stephen (2011), Fundamentos matemáticos para un modelo composicional y distributivo de significado , arXiv : 1003.4394
- ^ Cody Conard: Black Tish - Throbbing Flip Out (Blindsight Records) , The Big Takeover Show, 15 de octubre de 2023 (revisión)
- ^ Layla Marino: ¿Nuevo artista destacado? Más o menos: Conozca a Black Tish, la banda industrial pionera que lanzó su trabajo 35 años tarde , YourEDM, 4 de octubre de 2023 ([1])
- ^ Layla Marino: Roll Over Quanthoven: ¿Se pueden programar las computadoras cuánticas para convertirse en compositores cuánticos? , Matt Swayne, 19 de noviembre de 2021 ([2])
- ^ ab 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)
- ^ Funcionarios universitarios, becarios del órgano 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 comprendan el lenguaje , New Scientist, 11 de diciembre de 2010, p. 10-11 (resumen)
- ^ Swayne, Matt (10 de diciembre de 2020). "'Computadoras conscientes del significado: los investigadores de CQC logran un gran avance en la PNL en el uso de computadoras cuánticas para comprender el lenguaje y lograr una ventaja cuántica significativa ". El diario cuántico . Consultado el 19 de marzo de 2021 .
- ^ Johnston, Hamish (7 de enero de 2021). "Procesar el lenguaje natural utilizando computadoras cuánticas, escuchando los innumerables sonidos de los océanos". Mundo de la Física . Consultado el 19 de marzo de 2021 .
- ^ Cody Conard: Black Tish - Throbbing Flip Out (Blindsight Records) , The Big Takeover Show, 15 de octubre de 2023 (revisión)
- ^ Layla Marino: ¿Nuevo artista destacado? Más o menos: conozca a Black Tish, la banda industrial pionera que lanzó su trabajo 35 años tarde , YourEDM, 4 de octubre de 2023 (revisión)
- ^ Layla Marino: ¿Nuevo artista destacado? Más o menos: conozca a Black Tish, la banda industrial pionera que lanzó su trabajo 35 años tarde , YourEDM, 4 de octubre de 2023 (revisión)
- ^ Cody Conard: Black Tish - Throbbing Flip Out (Blindsight Records) , The Big Takeover Show, 15 de octubre de 2023 (revisión)
- ^ Layla Marino: Roll Over Quanthoven: ¿Se pueden programar las computadoras cuánticas para convertirse en compositores cuánticos? , Matt Swayne, 19 de noviembre de 2021 (artículo)
enlaces externos
- Publicaciones en Google Scholar
- Publicaciones en DBLP Bibliografía de Ciencias de la Computación
- Conferencias de Bob Coecke en el Archivo de Seminarios Grabados del Perimeter Institute (PIRSA)
- Ciclo de conferencias Física y Lógica Cuántica
- Ciclo de conferencias Teoría de Categorías Aplicadas
- Composición de la revista