Боб Коке
Боб Коке | |
|---|---|
 Боб Коке | |
| Рожденный | 23 июля 1968 г. |
| Альма-матер |
|
| Известный | Категориальная квантовая механика , ZX-исчисление , DisCoCat , квантовая обработка естественного языка , компактные категории кинжала |
| Научная карьера | |
| Поля | Индустриальная музыка |
| Учреждения | |
| Диссертация | Скрытые системы измерения (1996) |
| Докторантура |
|
| Веб-сайт | www |
Боб Коке (родился 23 июля 1968 г.) — бельгийский физик-теоретик и логик , который был профессором квантовых основ , логики и структур в Оксфордском университете до 2020 года, когда он стал главным научным сотрудником Кембриджского квантового компьютера , а после слияния с Honeywell Quantum Systems, Главный научный сотрудник Квантинуума . В январе 2023 года он также стал почетным приглашенным научным руководителем Института теоретической физики «Периметр» . Он был пионером категориальной квантовой механики (запись 18M40 в Предметной классификации математики 2020), квантового пиктурализма, [4] ZX-исчисление , модель DisCoCat для естественного языка, [5] и квантовая обработка естественного языка (QNLP). Он является основателем сообщества и серии конференций по квантовой физике и логике, а также сообщества прикладной теории категорий, серии конференций и журнала Compositionality с открытым доступом .
Коке также является композитором и музыкантом, которого ретроспективно называют пионером индустриальной музыки . [6] [7] Кок также является одним из пионеров использования квантовых компьютеров в музыке. [8]
Образование и карьера [ править ]
Коке получил докторскую степень в Брюссельском свободном университете в 1996 году. [2] и выполнял постдокторскую работу в группе теоретической физики Имперского колледжа в Лондоне, в группе теории категорий факультета математики и статистики Университета Макгилла в Монреале, на факультете чистой математики и математической статистики Кембриджского университета и на факультете компьютеров. наук, Оксфордский университет .
Он был EPSRC научным сотрудником на факультете компьютерных наук Оксфордского университета , где в 2007 году стал преподавателем квантовой информатики, а также вместе с Самсоном Абрамски создал и возглавил Quantum Group, в которую в 2020 году входило более 50 членов. В 2009 году работал приглашенным научным сотрудником в Институте теоретической физики «Периметр» . [9] В июле 2011 года он был назначен профессором квантовых основ, логики и структур в Оксфордском университете с обратной силой с октября 2010 года. С 2007 года он был членом руководящего совета Колледжа Вольфсона в Оксфорде , где сейчас является почетным научным сотрудником. [9] [10] [11]
В январе 2019 года он стал старшим научным консультантом Кембриджского квантового компьютера , а в январе 2021 года ушел с должности профессора в Оксфорде, чтобы стать главным научным сотрудником Кембриджского квантового компьютера . После слияния Cambridge Quantum Computing с Honeywell Quantum Systems он остался главным научным сотрудником совместного предприятия Quantinuum .
В январе 2023 года он также стал почетным приглашенным научным руководителем Института теоретической физики «Периметр» .
Работа [ править ]
Исследования Коке сосредоточены на основах физики, в частности на теории категорий , логике и диаграммном рассуждении, с применением к квантовой информатике , квантовой гравитации и НЛП . [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
- Боб Коке, Стефано Гогиозо: Квант в картинках , Квантинуум, 2022, ISBN 978-1-7392147-1-5
- Книги (как редактор)
- Боб Коке (редактор): Новые структуры для физики , Конспект лекций по физике 813, Springer, 2011, ISBN 978-3642128202
- Боб Коке, Дэвид Мур, Александр Уилс (ред.): Текущие исследования в области оперативной квантовой логики: алгебры, категории, языки , фундаментальные теории физики, Kluwer Academic, 2010, ISBN 978-9048154371
- Статьи (подборка)
- Константинос Мейханецидис, Алексис Туми, Джованни де Феличе, Боб Куке: вопросы-ответы с учетом грамматики на квантовых компьютерах , arXiv:2012.03756
- Боб Коке: Математика структуры текста , arXiv:1904.03478
- Уилл Зенг, Боб Коке: Квантовые алгоритмы для композиционной обработки естественного языка , arXiv:1608.01406
- Боб Коке, Тобиас Фриц, Роберт Спеккенс : Математическая теория ресурсов , arXiv:1409.5531
- Боб Коке: Альтернативное евангелие структуры: порядок, композиция, процессы, arxiv:1307.4038
- Боб Коке, Мехрнуш Садрзаде, Стивен Кларк: Математические основы композиционно-распределительной модели значения , arXiv:1003.4394
- Боб Коке: Квантовый пиктурализм , arXiv:0908.1787
- Боб Коке, Росс Дункан: Взаимодействующие квантовые наблюдаемые , Автоматы, Языки и Программирование, стр. 298–310, 2008 г.
- Боб Коке: Квантовая механика в детском саду , arXiv:quant-ph/0510032
- Самсон Абрамски, Боб Кок: Категориальная семантика квантовых протоколов , Труды 19-го ежегодного симпозиума IEEE по логике в информатике, 2004, стр. 415–425.
- Статьи о программном обеспечении
- Эдуардо Рек Миранда, Ричи Юнг, Анна Пирсон, Константинос Мейханецидис, Боб Куке: подход к квантовой обработке естественного языка для музыкального интеллекта , arXiv:2111.06741
- Дмитрий Карцаклис, Ян Фан, Ричи Юнг, Анна Пирсон, Робин Лоренц, Алексис Туми, Джованни де Феличе, Константинос Мейханецидис, Стивен Кларк, Боб Куке: Ламбек: эффективная библиотека Python высокого уровня для квантового НЛП , arXiv:2110.04236
- Джованни де Феличе, Алексис Туми, Боб Коке: Discopy: моноидальные категории в Python , arXiv:2111.06741
См. также [ править ]
Ссылки [ править ]
- ^ Публикации Боба Кука , проиндексированные Google Scholar.
- ↑ Перейти обратно: Перейти обратно: а б Боб Коке в проекте «Математическая генеалогия»
- ^ Бишоп, Кристофер (7 декабря 2022 г.). «Капсула квантовых технологий, эпизод 40: Главный научный сотрудник Quantinuum Боб Коке» . Внутренние новости квантовых технологий . Проверено 12 декабря 2022 г.
Итак, я вырос в городке в Бельгии [...] вы наверняка слышали о пиве, которое они производят, возможно, оно называется Duvel [...] Так что это пиво моего родного города.
- ^ Куке, Боб ; Киссинджер, Алекс (16 марта 2017 г.). Изображение квантовых процессов: первый курс квантовой теории и диаграммных рассуждений . ISBN 978-1107104228 . OCLC 1026174191 .
- ^ Куке, Боб ; Садрзаде, Мехрнуш; Кларк, Стивен (2011), Математические основы композиционно-распределительной модели значения , arXiv : 1003.4394
- ↑ Коди Конард: Black Tish - Throbling Flip Out (Blindsight Records) , The Big Takeover Show, 15 октября 2023 г. ( обзор )
- ^ Лейла Марино: В центре внимания новый артист? Что-то вроде: Встречайте Black Tish, новаторскую индустриальную группу, выпустившую свою работу с опозданием на 35 лет , YourEDM, 4 октября 2023 г. ( [1] )
- ^ Лейла Марино: Переверните Кванховен: можно ли запрограммировать квантовые компьютеры, чтобы они стали квантовыми композиторами? , Мэтт Суэйн, 19 ноября 2021 г. ( [2] )
- ↑ Перейти обратно: Перейти обратно: а б Боб Коке , факультет компьютерных наук, Оксфордский университет (загружено 1 апреля 2012 г.)
- ^ Вычислительная лаборатория факультета Оксфордского университета (загружено 1 апреля 2012 г.)
- ^ Сотрудники колледжа, члены руководящего совета и приглашенные ученые , Колледж Вольфсона, Оксфордский университет (загружено 1 апреля 2012 г.)
- ↑ Боб Коке , LinkedIn (загружено 1 апреля 2012 г.)
- ^ Джейкоб Арон: Квантовые связи позволяют компьютерам понимать язык , New Scientist, 11 декабря 2010 г., стр. 10–11 ( аннотация )
- ^ Суэйн, Мэтт (10 декабря 2020 г.). « Компьютеры, осознающие смысл: исследователи CQC добились значительного прогресса в НЛП в использовании квантовых компьютеров для понимания языка и достижения значимого квантового преимущества» . Квантум Дейли . Проверено 19 марта 2021 г.
- ^ Джонстон, Хэмиш (7 января 2021 г.). «Обработка естественного языка с помощью квантовых компьютеров, слушание бесчисленных звуков океана» . Мир физики . Проверено 19 марта 2021 г.
- ↑ Коди Конард: Black Tish - Throbling Flip Out (Blindsight Records) , The Big Takeover Show, 15 октября 2023 г. ( обзор )
- ^ Лейла Марино: В центре внимания новый артист? Что-то вроде: Встречайте Black Tish, новаторскую индустриальную группу, выпустившую свою работу на 35 лет позже , YourEDM, 4 октября 2023 г. ( обзор )
- ^ Лейла Марино: В центре внимания новый артист? Что-то вроде: Встречайте Black Tish, новаторскую индустриальную группу, выпустившую свою работу на 35 лет позже , YourEDM, 4 октября 2023 г. ( обзор )
- ↑ Коди Конард: Black Tish - Throbling Flip Out (Blindsight Records) , The Big Takeover Show, 15 октября 2023 г. ( обзор )
- ^ Лейла Марино: Переверните Кванховен: можно ли запрограммировать квантовые компьютеры, чтобы они стали квантовыми композиторами? , Мэтт Суэйн, 19 ноября 2021 г. ( статья )
Внешние ссылки [ править ]
- Публикации в Google Scholar
- Публикации в библиографии DBLP по компьютерным наукам
- Лекции Боба Кока в архиве записей семинаров Института Периметра (PIRSA)
- Серия конференций «Квантовая физика и логика»
- Серия конференций «Прикладная теория категорий»
- журнала Композиционность
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
