Belgian theoretical physicist and logician
Bob Coecke (nacido el 23 de julio de 1968) es un físico teórico y lógico belga que fue profesor de Fundamentos cuánticos , lógica y estructuras en la Universidad de Oxford hasta 2020. Fue pionero en la mecánica cuántica categórica (entrada 18M40 en la Clasificación de materias de matemáticas de 2020), el picturalismo cuántico, [4] el cálculo ZX , el modelo DisCoCat para el lenguaje natural, [5] y el procesamiento cuántico del lenguaje natural (QNLP). Es fundador de la comunidad y la serie de conferencias de Física y lógica cuánticas, y de la revista Compositionality .
Coecke también es un compositor y músico, que ha sido llamado pionero de la música industrial , [6] [7] y 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ó trabajo postdoctoral en el Grupo de Física Teórica del Imperial College de Londres, en el Grupo de Teoría de Categorías del Departamento de Matemáticas y Estadística de la Universidad McGill de Montreal, en el Departamento de Matemáticas Puras 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 . [ cita requerida ]
Fue investigador avanzado del 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 creó y dirigió el Grupo Cuántico. 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ógica y Estructuras Cuánticas en la Universidad de Oxford, con efecto retroactivo a octubre de 2010. Fue miembro del Consejo de Administración del Wolfson College, Oxford desde 2007, donde ahora es miembro emérito. [9] [10] [11]
En enero de 2019, Coecke se convirtió en asesor científico sénior 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 . [ cita requerida ]
En enero de 2023 también se convirtió en catedrático visitante distinguido de investigación en el Instituto Perimeter de Física Teórica . [ cita requerida ]
Trabajar
La investigación de Coecke se centra en los fundamentos de la física, más particularmente en la teoría de categorías , la lógica y el razonamiento diagramático, con aplicación a la informática cuántica , la gravedad cuántica y el procesamiento del lenguaje natural . [12] [ mejor fuente necesaria ] Fue 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 , sobre el que 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 el 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 colegas en Cambridge Quantum Computing . [ cita requerida ]
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 la lingüística computacional se presentó en New Scientist en diciembre de 2010. [13] El trabajo sobre el procesamiento cuántico del lenguaje natural se presentó en Quantum Daily en diciembre de 2020 y en PhysicsWorld en enero de 2021. [14] [15]
Música
Coecke también es músico y ha estado tocando y grabando desde los años ochenta. Retrospectivamente, se le ha llamado pionero de la música industrial . [¿ Por quién? ] [16] [17] Su banda, Black Tish, "utilizó 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 "cerró la brecha entre la naturaleza puramente experimental de bandas como Throbbing Gristle y Einstürzende Neubauten y Ministry o Nine Inch Nails (comparativamente) más accesibles en la radio ". [19]
Coecke también es uno de los pioneros en el uso de computadoras cuánticas en la música. [20]
Publicaciones seleccionadas
- Libros de texto
- Bob Coecke, Aleks Kissinger: Representación de procesos cuánticos. Un primer curso de teoría cuántica y razonamiento diagramático , Cambridge University Press, 2017, ISBN 978-1316219317
- Bob Coecke, Stefano Gogioso: La cuántica en imágenes , Quantinuum, 2022, ISBN 978-1-7392147-1-5
- Libros (como editor)
- Bob Coecke, David Moore, Alexander Wilce (eds.): Investigación actual en lógica cuántica operacional: álgebras, categorías, lenguajes , teorías fundamentales de la física, Kluwer Academic, 2010, ISBN 978-9048154371
- Bob Coecke (ed.): Nuevas estructuras para la física , Lecture Notes in Physics 813, Springer, 2011, ISBN 978-3642128202
- Artículos
- Bob Coecke: Mecánica cuántica en el jardín de infancia , arXiv:quant-ph/0510032
- Samson Abramsky, Bob Coecke: Una semántica categórica de protocolos cuánticos , Actas del 19.º Simposio anual IEEE sobre lógica en informática, 2004, págs. 415-425
- Bob Coecke, Ross Duncan: Observables cuánticos en interacción , Automata, Languages and Programming, págs. 298-310, 2008
- Konstantinos Meichanetzidis, Alexis Toumi, Giovanni de Felice, Bob Coecke: Preguntas y respuestas con conciencia gramatical 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 distributivo compositivo del significado , arXiv:1003.4394
- Bob Coecke: El pictórico cuántico , arXiv:0908.1787
- Artículos sobre software
- Eduardo Reck Miranda, Richie Yeung, Anna Pearson, Konstantinos Meichanetzidis, Bob Coecke: Un enfoque de procesamiento cuántico 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 de Python eficiente y de alto nivel para el procesamiento del lenguaje natural cuántico , arXiv:2110.04236
- Giovanni de Felice, Alexis Toumi, Bob Coecke: Discopy: categorías monoidales en Python , arXiv:2111.06741
Referencias
- ^ Publicaciones de Bob Coecke indexadas por Google Scholar
- ^ de Bob Coecke en el Proyecto de Genealogía Matemática
- ^ Bishop, Christopher (7 de diciembre de 2022). "Episodio 40 de Quantum Tech Pod: Bob Coecke, científico jefe de Quantinuum". Inside Quantum Technology News . Consultado el 12 de diciembre de 2022 .
- ^ Coecke, Bob; Kissinger, Aleks (16 de marzo de 2017). Representación de procesos cuánticos: un primer curso de teoría cuántica y razonamiento diagramático . Cambridge University Press. ISBN 978-1107104228.OCLC 1026174191 .
- ^ Coecke, Bob; Sadrzadeh, Mehrnoosh; Clark, Stephen (2011), Fundamentos matemáticos para un modelo distributivo compositivo de significado , arXiv : 1003.4394
- ^ Cody Conard: Black Tish - Throbbing Flip Out (Blindsight Records) , The Big Takeover Show, 15 de octubre de 2023 (reseña)
- ^ Layla Marino: ¿Nueva artista destacada? Algo así: conozcan a Black Tish, la banda industrial pionera que lanzó su trabajo 35 años después , YourEDM, 4 de octubre de 2023 ([1])
- ^ Layla Marino: Roll Over Quanthoven: ¿Pueden programarse las computadoras cuánticas para convertirse en compositores cuánticos? , Matt Swayne, 19 de noviembre de 2021 ([2])
- ^ por 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 del colegio, miembros del consejo directivo 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 a las computadoras entender el lenguaje , New Scientist, 11 de diciembre de 2010, págs. 10-11 (resumen)
- ^ Swayne, Matt (10 de diciembre de 2020). "Computadoras 'conscientes del significado': los investigadores de CQC logran un importante avance en PNL al usar computadoras cuánticas para comprender el lenguaje y lograr una ventaja cuántica significativa". The Quantum Daily . Consultado el 19 de marzo de 2021 .
- ^ Johnston, Hamish (7 de enero de 2021). «Procesamiento del lenguaje natural mediante computadoras cuánticas, escuchando la miríada de sonidos de los océanos». Physics World . 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 (reseña)
- ^ Layla Marino: ¿Nueva artista destacada? Algo así: conozcan a Black Tish, la banda industrial pionera que lanzó su trabajo 35 años después , YourEDM, 4 de octubre de 2023 (reseña)
- ^ Layla Marino: ¿Nueva artista destacada? Algo así: conozcan a Black Tish, la banda industrial pionera que lanzó su trabajo 35 años después , YourEDM, 4 de octubre de 2023 (reseña)
- ^ Cody Conard: Black Tish - Throbbing Flip Out (Blindsight Records) , The Big Takeover Show, 15 de octubre de 2023 (reseña)
- ^ Layla Marino: Roll Over Quanthoven: ¿Pueden programarse 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 informática
