Belgian theoretical physicist and logician
Боб Коек (родился 23 июля 1968 года) — бельгийский физик-теоретик и логик, который был профессором квантовых основ , логики и структур в Оксфордском университете до 2020 года. Он был пионером категориальной квантовой механики (запись 18M40 в классификации предметов математики 2020 года), квантового изобразительного исчисления [4], ZX-исчисления , модели DisCoCat для естественного языка [5] и квантовой обработки естественного языка (QNLP). Он является основателем сообщества и серии конференций по квантовой физике и логике, а также журнала Compositionality .
Кук также является композитором и музыкантом, которого называют пионером индустриальной музыки , [6] [7] , а также одним из пионеров использования квантовых компьютеров в музыке. [8]
Образование и карьера
Кук получил докторскую степень в области естественных наук в Брюссельском свободном университете в 1996 году [2] и выполнял постдокторскую работу в группе теоретической физики Имперского колледжа в Лондоне, в группе теории категорий кафедры математики и статистики Университета Макгилла в Монреале, на кафедре чистой математики и математической статистики Кембриджского университета и на кафедре компьютерных наук Оксфордского университета . [ требуется ссылка ]
Он был EPSRC Advanced Research Fellow на кафедре компьютерных наук Оксфордского университета , где он стал преподавателем квантовой компьютерной науки в 2007 году, и совместно с Сэмсоном Абрамски создал и возглавил Quantum Group. В 2009 году он работал приглашенным ученым в Perimeter Institute for Theoretical Physics . [9] В июле 2011 года он был назначен профессором квантовых основ, логики и структур в Оксфордском университете, с обратной силой с октября 2010 года. Он был членом руководящего совета колледжа Вольфсон, Оксфорд с 2007 года, где он сейчас является почетным членом. [9] [10] [11]
В январе 2019 года Коке стал старшим научным консультантом Cambridge Quantum Computing , а в январе 2021 года он ушел с должности профессора в Оксфорде, чтобы стать главным научным сотрудником Cambridge Quantum Computing . После слияния Cambridge Quantum Computing с Honeywell Quantum Systems он остался главным научным сотрудником совместного предприятия Quantinuum . [ необходима цитата ]
В январе 2023 года он также стал почетным приглашенным научным руководителем в Институте теоретической физики Периметра . [ требуется ссылка ]
Работа
Исследования Кока сосредоточены на основах физики, в частности теории категорий , логике и диаграммном мышлении, с применением к квантовой информатике , квантовой гравитации и NLP . [12] [ требуется лучший источник ] Он был пионером категориальной квантовой механики вместе с Сэмсоном Абрамски и возглавил разработку диаграммного квантового формализма, основанного на графической нотации Пенроуза , по которому он написал учебник под названием «Изображая квантовые процессы» с Алексом Киссинджером. С Россом Дунканом он был пионером ZX-исчисления . Он был пионером модели DisCoCat для естественного языка вместе со Стивеном Кларком и Мехрнушем Садрзаде . Он также был пионером квантовой обработки естественного языка (QNLP) вместе с Уиллом Зенгом и коллегами из Cambridge Quantum Computing . [ необходима ссылка ]
Работа Кока и его коллег по применению категориальной квантовой механики к обработке естественного языка в компьютерной лингвистике была представлена в New Scientist в декабре 2010 года. [13] Работа по квантовой обработке естественного языка была представлена в Quantum Daily в декабре 2020 года и в PhysicsWorld в январе 2021 года. [14] [15]
Музыка
Кук также является музыкантом, выступающим и записывающимся с восьмидесятых. Оглядываясь назад, он был назван пионером индустриальной музыки . [ кем? ] [16] [17] Его группа Black Tish «использовала передовые для того времени методы сэмплирования, множество синтезаторов и звуковых петель и гитар в стиле метал, чтобы создать тяжелый рок/электронный сплав, непохожий ни на что слышанное ранее», [18] и «сократить разрыв между чистой экспериментальной природой таких групп, как Throbbing Gristle и Einstürzende Neubauten , и (сравнительно) более доступными для радио Ministry или Nine Inch Nails ». [19]
Коек также является одним из пионеров использования квантовых компьютеров в музыке. [20]
Избранные публикации
- Учебники
- Боб Коек, Алекс Киссинджер: Изображение квантовых процессов. Первый курс квантовой теории и диаграммного мышления , Cambridge University Press, 2017, ISBN 978-1316219317
- Боб Коек, Стефано Годжиозо: Квант в картинках , Quantinum, 2022, ISBN 978-1-7392147-1-5
- Книги (в качестве редактора)
- Боб Коек, Дэвид Мур, Александр Вильс (ред.): Современные исследования в области оперативной квантовой логики: алгебры, категории, языки , фундаментальные теории физики, Kluwer Academic, 2010, ISBN 978-9048154371
- Боб Коек (ред.): Новые структуры для физики , Lecture Notes in Physics 813, Springer, 2011, ISBN 978-3642128202
- Статьи
- Боб Коек: Детсадовская квантовая механика , arXiv:quant-ph/0510032
- Сэмсон Абрамски, Боб Коек: Категориальная семантика квантовых протоколов , Труды 19-го ежегодного симпозиума IEEE по логике в компьютерных науках, 2004, стр. 415–425
- Боб Коек, Росс Дункан: Взаимодействие квантовых наблюдаемых , Автоматы, Языки и Программирование, стр. 298–310, 2008
- Константинос Мейханецидис, Алексис Туми, Джованни де Феличе, Боб Коек: Грамматически-ориентированные вопросы и ответы на квантовых компьютерах , arXiv:2012.03756
- Боб Коек: Математика структуры текста , arXiv:1904.03478
- Уилл Зенг, Боб Коек: Квантовые алгоритмы для композиционной обработки естественного языка , arXiv:1608.01406
- Боб Коек, Тобиас Фриц, Роберт Спеккенс : Математическая теория ресурсов , arXiv:1409.5531
- Боб Коек: Альтернативное евангелие структуры: порядок, композиция, процессы, arxiv:1307.4038
- Боб Коек, Мехрнуш Садрзаде, Стивен Кларк: Математические основы композиционно-распределительной модели смысла , arXiv:1003.4394
- Боб Коек: Квантовый Пиктурализм , arXiv:0908.1787
- Статьи о программном обеспечении
- Эдуардо Рек Миранда, Ричи Йенг, Анна Пирсон, Константинос Мейханецидис, Боб Коек: Квантовый подход к обработке естественного языка для музыкального интеллекта , arXiv:2111.06741
- Димитрий Картсаклис, Ян Фан, Ричи Йенг, Анна Пирсон, Робин Лоренц, Алексис Туми, Джованни де Феличе, Константинос Мейханецидис, Стивен Кларк, Боб Коке: lambeq: эффективная высокоуровневая библиотека Python для квантовой обработки естественного языка , arXiv:2110.04236
- Джованни де Феличе, Алексис Туми, Боб Коке: Discopy: моноидальные категории в Python , arXiv:2111.06741
Ссылки
- ^ Публикации Боба Коке, проиндексированные Google Scholar
- ^ ab Боб Коек в проекте «Генеалогия математики»
- ↑ Бишоп, Кристофер (7 декабря 2022 г.). «Quantum Tech Pod Episode 40: Quantinum Chief Scientist Bob Coecke». Inside Quantum Technology News . Получено 12 декабря 2022 г.
- ^ Coecke, Bob; Kissinger, Aleks (16 марта 2017 г.). Изображение квантовых процессов: первый курс квантовой теории и диаграммного рассуждения . Cambridge University Press. ISBN 978-1107104228. OCLC 1026174191.
- ^ Коек, Боб; Садрзаде, Мехрнуш; Кларк, Стивен (2011), Математические основы композиционно-распределительной модели смысла , arXiv : 1003.4394
- ↑ Коди Конард: Black Tish - Throbbing Flip Out (Blindsight Records) , The Big Takeover Show, 15 октября 2023 г. (рецензия)
- ^ Лейла Марино: Новый артист в центре внимания? Что-то вроде: Встречайте Black Tish, новаторскую индустриальную группу, выпустившую свою работу с опозданием в 35 лет , YourEDM, 4 октября 2023 г. ([1])
- ^ Лейла Марино: Переверните Квантовен: можно ли запрограммировать квантовые компьютеры на то, чтобы они стали квантовыми композиторами? , Мэтт Суэйн, 19 ноября 2021 г. ([2])
- ^ ab Боб Коек, Факультет компьютерных наук, Оксфордский университет (скачано 1 апреля 2012 г.)
- ^ Факультетская вычислительная лаборатория Оксфордского университета (скачана 1 апреля 2012 г.)
- ^ Сотрудники колледжа, члены руководящего совета и приглашенные ученые, колледж Вольфсона, Оксфордский университет (загружено 1 апреля 2012 г.)
- ^ Боб Коек, LinkedIn (скачано 1 апреля 2012 г.)
- ^ Джейкоб Арон: Квантовые связи позволяют компьютерам понимать язык , New Scientist, 11 декабря 2010 г., стр. 10–11 (аннотация)
- ^ Свэйн, Мэтт (10 декабря 2020 г.). «Компьютеры, осознающие значение: исследователи CQC добились значительного прогресса в области НЛП в использовании квантовых компьютеров для понимания языка и достижения значимого квантового преимущества». The Quantum Daily . Получено 19 марта 2021 г.
- ^ Джонстон, Хэмиш (7 января 2021 г.). «Обработка естественного языка с использованием квантовых компьютеров, прослушивание бесчисленных звуков океанов». Physics World . Получено 19 марта 2021 г.
- ↑ Коди Конард: Black Tish - Throbbing Flip Out (Blindsight Records) , The Big Takeover Show, 15 октября 2023 г. (рецензия)
- ^ Лейла Марино: Новый артист в центре внимания? Что-то вроде: Встречайте Black Tish, новаторскую индустриальную группу, выпустившую свою работу с опозданием в 35 лет , YourEDM, 4 октября 2023 г. (обзор)
- ^ Лейла Марино: Новый артист в центре внимания? Что-то вроде: Встречайте Black Tish, новаторскую индустриальную группу, выпустившую свою работу с опозданием в 35 лет , YourEDM, 4 октября 2023 г. (обзор)
- ↑ Коди Конард: Black Tish - Throbbing Flip Out (Blindsight Records) , The Big Takeover Show, 15 октября 2023 г. (рецензия)
- ^ Лейла Марино: Переверните Квантовен: можно ли запрограммировать квантовые компьютеры на то, чтобы они стали квантовыми композиторами? , Мэтт Суэйн, 19 ноября 2021 г. (статья)
Внешние ссылки
- Публикации в Google Scholar
- Публикации в DBLP Computer Science Bibliography