Канович Макс Иосифович, профессор Департамента анализа данных и искусственного интеллекта факультета компьютерных наук (Москва)

НОМИНАЦИЯ «Достижение в науке»

Канович Макс Иосифович

Департамент анализа данных и искусственного интеллекта: Профессор

Кандидатуру предлагает коллектив Департамента анализа данных и искусственного интеллекта, в лице руководителя департамента, профессора Кузнецова Сергея Олеговича, заместителя руководителя Макарова Ильи Андреевича, доцента Кузнецова Степана Львовича, ведущего научного сотрудника международной научно-учебной лаборатории «Интеллектуальных систем и структурного анализа» Андре Щедрова

Макс Иосифович Канович – выдающийся учёный в области математической логики и её приложений в теоретической информатике (computer science). Доктор физико-математических наук (1989), профессор (1991). В Высшей школе экономики работает с 2015 года, совмещая с работой в Лондонском Университетском колледже (University College London).

Методы математической логики, изначально возникшей из задач оснований математики и философии, во второй половине XX века стали чрезвычайно широко применяться далеко за пределами философско-математического круга вопросов. Одной из главных областей применения математической логики стали компьютерные науки, которые стали бурно развиваться вместе с распространением и совершенствованием вычислительной техники. 

Таким образом, математическая логика, оставаясь, с одной стороны, формальной теорией на стыке математики и философии, одновременно превратилась в одну из важнейших
 прикладных наук. Важно заметить, что, с появлением и развитием новых задач для математической логики, всё более важную роль играют исследования неклассических логических систем, аксиомы и правила рассуждений в которых отличаются от классической логики, обыкновенно используемой в обосновании математики. Исследования М. И. Кановича как раз посвящены в основном неклассическим логикам.

Одна из неклассических логик, линейная логика, была введена в 1980-х гг. для рассуждений в ситуации ограниченных ресурсов. Этим объясняется отсутствие в ней правила сокращения ("А и А" - это не то же, что просто "А", в отличие от классической логики). Линейная логика алгоритмически неразрешима; с другой стороны, для практических приложений необходимы алгоритмы. Таким образом, приходится балансировать на грани между выразительной силой логики и сложностью связанных с ней алгоритмических задач. В работах М.И. Кановича представлены как доказательства неразрешимости для довольно простых, на первый взгляд, фрагментов и вариантов линейной логики, так и алгоритмы для интересных с практической точки зрения
 подсистем.

Другой цикл работ М.И. Кановича с соавторами посвящён логике разделения (separation logic). Эта логика используется для исследования корректности работы компьютерных программ. Как и в случае с линейной логикой, в статьях М.И. Кановича и соавторов есть как доказательства алгоритмической неразрешимости для общих случаев, так и алгоритмы для практически важных задач. М.И. Канович также много занимался применением логических методов к анализу систем компьютерной безопасности.

Некоммутативный вариант линейной логики (без правила перестановки), помимо естественных связей с компьютерными науками, также имеет приложения в лингвистике. На его основе разрабатываются так называемые категориальные грамматики, используемые для формального описания и изучения естественного
 языка. Будучи достаточно квалифицированным в лингвистике (М.И. Канович был одним из основных разработчиков системы японско-русского перевода в Институте востоковедения РАН), М.И. Канович получил также несколько интересных результатов - как теоретических, так и  имеющих прикладное значение - связанных с категориальными грамматиками. М.И. Канович очень активно сотрудничает с коллегами о всему миру, работал в разных университетах и научных центрах СССР / России, США, Японии, Великобритании, имеет много соавторов.

Работы М.И.Кановича получили широкое международное признание. Большое количество докладов М.И.Кановича было принято на ведущие международные научные конференции с самыми жесткими критериями отбора. Так, он неоднократно выступал на наиболее уважаемых в области логики и компьютерных наук конференциях CSL (Computer Science Logic) и LICS (Logic in Computer Science), а также многих других конференциях.

Значительное количество работ М.И.Кановича было опубликовано в ведущих международных журналах по логике и компьютерным наукам: Theoretical Computer Science, Annals of Pure and Applied Logic, Journal of the ACM, Information and Computation и других.

Приглашенные доклады: LFCS '93 (Logical Foundations of Computer Science), LFCS '09, LMRC (Logical Models of Reasoning and Computation) '12. На конференции WoLLIC '11 (Workshop on Logic, Language, Information and Computation) М.И. Кановичу была посвящена отдельная сессия. 

Награды: почётное звание "Ветеран труда" (1995).

Считаем, что Макс Иосифович Канович, внося очень существенный научный вклад в развитие формальных логических методов и их приложения, серьезно улучшая репутацию НИУ ВШЭ высококачественными научными работами, актуальными курсами по «формальным методам» в магистратуре «Науки о данных» и аспирантской школе по компьютерным наукам, в высшей степени заслуживает присуждения премии «Золотая вышка» в номинации «Достижение в науке».