Боб Кук - Bob Coecke

Боб Кук
Bob Coecke.jpg
Боб Кук
Родившийся (1968-07-23) 23 июля 1968 г. (52 года)
Альма-матер
Научная карьера
Поля
Учреждения
ТезисСкрытые системы измерения (1996)
Докторант
  • Дидерик Эмиель Аертс
  • Жан Ренье[2]
Интернет сайтwww.cs.ox.ac.Великобритания/люди/ боб.coecke/

Боб Кук (1968 г.р.) физик-теоретик, профессор из Квантовые основы, Логика и структуры на Оксфордский университет, и пионер категориальная квантовая механика, ZX-исчисление, DisCoCat значение естественного языка и квантовая обработка естественного языка. Он также является старшим научным советником Cambridge Quantum Computing Ltd.

Образование и карьера

Кук получил степень доктора наук в Vrije Universiteit Brussel в 1996 г.[2] и выполнял постдокторскую работу в группе теоретической физики Имперский колледж Лондон и в группе теории категорий кафедры математики и статистики на Университет Макгилла в Монреале и был официально связан с Кафедра чистой математики и математической статистики из Кембриджский университет.[3] Он был EPSRC Научный сотрудник Департамент компьютерных наук Оксфордского университета, где он стал преподавателем квантовой информатики в 2007 году, и совместно с Самсон Абрамский возглавляет Quantum Group. В 2009 году работал приглашенным научным сотрудником в Институт теоретической физики Периметр.[3] В июле 2011 года он был назначен профессором квантовых основ, логики и структур в Оксфордском университете с обратной силой с октября 2010 года. Он является членом Руководящего совета Вольфсон Колледж, Оксфорд с 2007 года.[3][4][5]

Работа

Исследования Кока сосредоточены на основах физики, в частности теория категорий и логика, а в последнее время - схематические рассуждения с приложением к квантовая информатика, квантовая гравитация, и НЛП .[6] Он был пионером категориальная квантовая механика вместе с Самсон Абрамский, и возглавил разработку схематического квантового формализма, основанного на Графическое обозначение Пенроуза по которому он написал учебник под названием Изображение квантовых процессов, с Алексом Киссинджером. Вместе со Стивеном Кларком и Мехрнушем Садрзаде он стал пионером категориального распределительного значения естественного языка.

Он отец-основатель Квантовая физика и логика и Прикладная теория категорий серии конференций, а также журнала Diamond-Open-Access Композиционно.

Медиа-прием

Работа Кока и его сотрудников по применению категориальной квантовой механики к обработка естественного языка в компьютерная лингвистика был показан в Новый ученый в декабре 2010 г.[7]

Публикации

Учебники
  • Боб Кук, Алекс Киссинджер:Изображение квантовых процессов. Первый курс квантовой теории и схематических рассуждений, Издательство Кембриджского университета, 2017 г., ISBN  978-1316219317
Книги (как редактор)
  • Боб Кук (ред.): Новые структуры для физики, Lecure Notes in Physics 813, Springer, 2011 г., ISBN  978-3642128202
  • Боб Кук, Дэвид Мур, Александр Уилс (ред.): Текущие исследования в области оперативной квантовой логики: алгебры, категории, языки, Фундаментальные теории физики, Kluwer Academic, 2010, ISBN  978-9048154371
Статьи (подборка)
  • Уилл Цзэн, Боб Кук: Квантовые алгоритмы для композиционной обработки естественного языка, arXiv: 1608.01406
  • Боб Кук, Тобиас Фриц, Роберт Спеккенс: Математическая теория ресурсов, arXiv: 1409.5531
  • Боб Кок, Мехрнош Садрзаде, Стивен Кларк: Математические основы композиционно-распределительной модели смысла, arXiv: 1003.4394
  • Боб Кок: Квантовая картина, arXiv: 0908.1787
  • Боб Кук, Росс Дункан: Взаимодействующие квантовые наблюдаемые, Автоматы, языки и программирование, 2008, с. 298–310.
  • Боб Кок: Детский сад квантовая механика, arXiv: Quant-ph / 0510032
  • Самсон Абрамски, Боб Кок: Категориальная семантика квантовых протоколов, Материалы 19-го ежегодного симпозиума IEEE по логике в компьютерных науках, 2004 г., стр. 415–425

Смотрите также

Рекомендации

  1. ^ Боб Кук публикации, проиндексированные Google ученый
  2. ^ а б Боб Кук на Проект "Математическая генеалогия"
  3. ^ а б c Боб Кук, Факультет компьютерных наук Оксфордского университета (загружено 1 апреля 2012 г.)
  4. ^ Факультет Вычислительная лаборатория Оксфордского университета (загружена 1 апреля 2012 г.)
  5. ^ Сотрудники колледжей, члены руководящего совета и приглашенные ученые, Wolfson College, Оксфордский университет (загружено 1 апреля 2012 г.)
  6. ^ Боб Кук, LinkedIn (загружено 1 апреля 2012 г.)
  7. ^ Джейкоб Арон: Квантовые ссылки позволяют компьютерам понимать язык, New Scientist, 11 декабря 2010 г., стр. 10–11 (Абстрактные )

внешняя ссылка