С 31 июля по 1 августа 2022 года состоится VardiFest22 — двухдневный семинар, посвященный карьере и достижениям профессора Моше Яакова Варди
Коллеги, исследователи и бывшие студенты выступят на 2-дневном семинаре, посвященном карьере и достижениям профессора Моше Яакова Варди.
Программа семинара доступна на официальном сайте: https://vardifest.github.io/ Отметим, что профессор Моше Варди активно сотрудничает с Научно-образовательным математическим центром Приволжского федерального округа. В рамках данного сотрудничества в весеннем семестре для студентов, магистрантов, аспирантов и молодых ученых КФУ состоялась научно-популярная лекция «A Logical Revolution» профессора Варди.
Профессор Университета Райса Моше Яаков Варди В рамках семинара с докладом «Как стать этичным специалистом по информатике» выступит и сам профессор Моше Варди. Доклад состоится в понедельник 1 августа. Начало в 17:10 (мск). Выступление также будет транслироваться в прямом эфире. Для подключения к вебинару, пожалуйста, пройдите по Zoom ссылке https://riceuniversity.zoom.us/j/97810913204?pwd=VXA5WmJiZnIwWnBpVGtoU3RQNG45UT09
Аннотация доклада: Многие из нас увлеклись вычислительной техникой, потому что программирование было увлекательным занятием. Преимущества вычислительной техники казались нам интуитивно понятными. Мы искренне верили, что компьютерные технологии приносят огромную пользу обществу; например, потенциал беспилотных автомобилей для спасения жизни огромен! Однако недавно ученые-компьютерщики поняли, что вычислительная техника — это не игра, а реальность, и она приносит с собой не только социальные выгоды, но и значительные социальные издержки, такие как поляризация рабочей силы, дезинформация и зависимость от смартфонов.
Обычной реакцией на этот кризис является обозначение его как «этического кризиса».Но корпорациями движет прибыль, а не этика, а машины — это всего лишь машины. Только от людей можно ожидать, что они будут действовать этично. В этом выступлении докладчик обсудит, как компьютерщики должны вести себя этично.
Краткая биография: Моше Я. Варди — председатель-основатель FLoC, является профессором университета и заслуженным профессором вычислительной инженерии имени Джорджа Райса. Он является лауреатом трех премий IBM за выдающиеся инновации, премии ACM SIGACT Goedel Prize, премии ACM Kanellakis Award, премии ACM SIGMOD Codd Award, медали Блеза Паскаля, премии IEEE Computer Society Goode Award, премии EATCS за выдающиеся достижения, премии Ассоциации исследователей Юго-Восточных университетов за выдающихся ученых, премии ACM SIGLOG Church Премия, премия Кнута, премия ACM Аллена Ньюэлла и премия IEEE Норберта Винера за социальную и профессиональную ответственность. Он имеет семь почетных докторских степеней.
VardiFest22 — это двухдневный семинар в Израиле, посвященный вкладу Моше Варди, известного математика, специалиста по информатике и профессора Университета Райса, который является автором более 660 технических работ, охватывающих широкий спектр дисциплин. «Моше, вероятно, единственный человек, присутствующий на семинаре, который может понять и будет задавать обоснованные вопросы по теме каждого докладчика», — сказал Кулдип С. Мил, один из трех председателей, организующих мероприятие.
Опыт Варди настолько широк, что в 2018 году он был выдвинут на должность Профессора Университета; эта должность дает ему возможность преподавать на любом из академических факультетов университета. В том же году h-индекс Варди достиг 100: по меньшей мере 100 его технических работ были процитированы по меньшей мере 100 раз другими исследовательскими работами.
Его работа постоянно цитируется на протяжении многих лет из-за ее актуальности. Заведующий кафедрой компьютерных наук Университета Райса Крис Джермейн сказал: «Поскольку мы так хорошо знаем и любим Моше — для нас он просто часть семьи Университета Райса, — иногда легко забыть о том уважении, с которым остальной мир CS относится к Моше. Например, в мире исследований баз данных он легенда, и все знают его статью STOC '82 ‘Сложность языков реляционных запросов'. Представьте себе, что вы пишете статью, которую все еще знают, 40 лет спустя!»
Хотя Варди постоянно отклонял предложения о проведении мероприятий в честь его достижений, трое его коллег в конце концов убедили его принять участие в фестивале исследовательских бесед в сотрудничестве с Федеративной логической конференцией 2022 года (FLoC). Мил, Джузеппе Де Джакомо и Кристин Ивонн Розье провели мозговой штурм нескольких идей, прежде чем остановиться на одной, которую одобрил Варди.
«Моше шутит о множестве „блестящих вещей“, которые скапливаются в офисе», — сказал Розье. «Итак, мы согласились, что было бы гораздо более значимо почтить Моше опытом, которым он и другие могли бы наслаждаться как лично, так и в течение длительного времени (с помощью видео и т. д.)».
Розье сказал, что Варди всегда подчеркивал важность высококачественных исследовательских бесед. Он демонстрирует, чего он ожидает от технического выступления, составляя свои собственные презентации таким образом, чтобы они находили отклик у слушателей независимо от их происхождения.
«Он особенно ценит короткие, но отличные выступления, характерные для другого места, где ведущие показывают только основные моменты своего технического вклада. VardiFest22 в значительной степени создан по образцу этой идеи», — сказал Розье.
Одной из проблем, с которыми, как ожидали организаторы, столкнутся, был поиск докладчиков, готовых поехать в Израиль на двухдневный семинар, чтобы выступить с восьмиминутным докладом. «Мы были совершенно не в теме», — сказал Мил. «Влияние Моше настолько далеко зашло, что мы получили более чем в два раза больше предложений, чем могли бы вместить за два дня, и темы были гораздо более разнообразными, чем мы ожидали».
В дополнение к разнообразию тем, предложения поступили от докладчиков с разнообразным исследовательским опытом. В нем принимают участие многие академические и отраслевые ученые и инженеры, а также аспиранты, постдоки и университетские администраторы.
Из своего офиса в Льежском университете Пьер Вольпер писал: «Работая с Моше, мы разделяли желание находить эффективные простые решения и четко представлять их. В моей нынешней роли ректора я по-прежнему придерживаюсь тех же руководящих принципов. Я считаю, что лучшие стратегии подобны лучшим теориям: они должны обладать ясностью и простотой и быть достаточно общими, чтобы привести к широко значимым результатам».
Уолпер открывает VardiFest22 своим докладом «О необычной эффективности автоматов в логике».
«Маленькая хитрая логика: заблуждения в понимании LTL» — это доклад, запланированный на второй день. Шрирам Кришнамурти сказал, что он и его коллеги-ведущие хотели получить шанс «сказать спасибо Моше. Мы разработали весь наш доклад, ожидая, что Моше будет в аудитории и будет взаимодействовать с нами. На самом деле мы проводим тест или экзамен во время выступления. Мы приведем примеры английского языка и логики и ожидаем, что аудитория ответит!
«Моше — один из пионеров Линейной темпоральной логики, которую обычно сокращенно называют LTL. Мы обыгрываем это название в другом дополнении, которое подчеркивает нашу точку зрения — с логикой довольно сложно работать, по крайней мере, если вы не Моше!»
Еще одна внутренняя шутка — роль Варди в «Четырех итальянцах». Де Джакомо объяснил: «Четверо итальянцев — это Диего Кальванезе, Маурицио Лензерини, я и Моше. Первые три действительно итальянские, в то время как фамилия Моше — Варди — может звучать как итальянское имя. В шутку научное сообщество стало называть нас ‘Четырьмя итальянцами'. Мы начали работать над графическими базами данных в 1999 году, и сотрудничество продолжалось в течение многих лет, как удаленно (до Zoom), так и приятно проводя время „в присутствии“, часто в Риме, который часто посещал „удаленный итальянец“ (Моше)».
Несмотря на то, что Варди нравится юмор своих коллег, он серьезный и энергичный исследователь, обычно работающий над несколькими проектами в тандеме. Все три сотрудника, с которыми он был соавтором большинства статей, участвуют в VardiFest22.
Орна Купферман, чей доклад завершает первый день семинара, является соавтором 75 статей с Варди. Де Джакомо написал 38 статей вместе с Варди, охватывающих такие области, как базы данных, Логика в CS и искусственный интеллект. Рональд Феджин сотрудничал с Варди над 26 работами.
Феджин сказал: «Мы с Моше были близкими друзьями и коллегами с тех пор, как он впервые пришел в IBM в 1983 году, и по сей день. Хотя Моше ушел из IBM в Райс в 1993 году, он изо всех сил старался поддерживать со мной связь, и мы до сих пор часто созваниваемся. Мы вместе написали почти 30 статей и в соавторстве с Джо Халперном и Йорамом Мозесом написали книгу».
В дополнение к своему выступлению во второй день семинара Феджин также дает комментарии после презентации Фокиона Г. Колайтиса на тему «Первая любовь Моше Я. Варди».
Колайтис сказал, что он «использует собственные слова Моше, чтобы назвать теорию баз данных своей «первой любовью», когда он получил в 2008 году премию ACM SIGMOD E.F. Codd Innovations Award, которая является высшей наградой за исследования в области управления данными. Итак, выбор моей темы был прост — я хочу выделить в своем выступлении некоторые выдающиеся заслуги Моше и его непреходящее наследие в области теории баз данных.
«Я встретил Моше в Нью-Йорке в июне 1985 года, на конференции „Логика программы“. Наше сотрудничество началось примерно год спустя, когда, главным образом благодаря Моше, я провел год в качестве приглашенного научного сотрудника в Исследовательском центре IBM Almaden в Сан-Хосе, Калифорния. С тех пор мы стали соавторами 21 статьи и, что более важно, стали хорошими друзьями».
Пожалуй, самая необычная история встречи, рассказанная о Варди одним из его сотрудников, исходит от Йорама Мозеса. Он сказал: «Я впервые встретил Моше, когда мы были инструкторами в израильской армии (обязательная служба). Мы пересекались во время его докторской диссертации в Еврейском университете, когда я был студентом бакалавриата, и снова пересекались в Стэнфорде, где я был аспирантом, а он — аспирантом.
«Наше основное сотрудничество вращалось вокруг темы Рассуждений о знании, которая включала в себя написание нескольких статей и завершилась книгой с таким названием, написанной совместно с Роном Феджином и Джо Халперном в течение 9 (!) лет. Моше привнес в проект уникальную перспективу и был главной силой, связывающей знания с проблемами баз данных. Он был одним из нескольких упрямых и самоуверенных авторов этого проекта и внес главный вклад в его успех».
Что касается семинара, Мозес сказал, что большинство людей много знают о работе Варди за последние 30 лет, поэтому он сосредоточен на некоторых ранних днях и особенно с нетерпением ждет рассказа об одной работе, в которой Варди выбрал стратегию, которая может быть связана со стрельбой из лука.
В Токио Итиро Хасуо работает над историей, которой он планирует поделиться на VardiFest22. Он сказал: «После захватывающих лекций Моше в летней школе Марктобердорфа я всегда стремился соединить абстрактные категориальные понятия и конкретные алгоритмические конструкции. Я с нетерпением жду возможности рассказать ему о наших успехах».
Лекции Варди в летней школе Марктобердорфа являются примером его приверженности развитию и поддержке исследователей по всему миру. Шарад Малик, который представляет заключительную гостевую лекцию семинара, сказал: «Я восхищаюсь Моше за то, что он руководствуется не только наукой в своем подходе, но и сообществом.
«Он постоянно думает о том, как наука может принести пользу сообществу — за счет более широкого и четкого распространения ее результатов, как видно из его роли в CACM, и как сообщество может быть объединено для продвижения науки — как видно из его руководства семинарами, объединяющими теоретиков и практиков в SAT. Этот аспект делает его влияние намного шире, чем и без того большое влияние его индивидуальных исследований».
Лидия Кавраки, чей доклад открывает второй день семинара, тесно сотрудничает с Варди в Университете Райса. Она сказала, что достижения Варди как исследователя придают ему мифический статус в своей области, но люди, которые действительно взаимодействуют с ним, обнаруживают другие стороны его личности.
«Моше — замечательный наставник, сотрудник и сострадательный человек во всех смыслах этого слова. Я считаю, что мне очень повезло, что он мой коллега. Он был моим наставником как в хорошие, так и в трудные времена. И когда мы поняли, что наши исследовательские интересы могут быть объединены для интересных приложений в робототехнике, мы работали вместе и руководили несколькими докторантами и аспирантами, которые сейчас преуспевают сами по себе», — сказал Кавраки.
«Мы все извлекли пользу из его проницательности и острого интеллекта; я лично узнал, как помочь студентам полностью раскрыть свой потенциал. Моше был неустанным защитником наших студентов, сотрудников, коллег-преподавателей, нашего факультета и нашего университета. Своей недавней работой по этике в информатике он прокладывает путь к ответственному использованию искусственного интеллекта и вычислительной техники. Он является источником вдохновения для всех нас».
Когда Мил просматривал поток предложений для выступлений, фотографий и воспоминаний, представленных на VardiFest22, он не был удивлен, увидев вклад многих исследователей, которые воспользовались наставничеством Варди в годы их аспирантуры или в начале своей карьеры.
Мил сказал: «Две вещи, которым я научился у Моше, — это важность продолжения развития или переосмысления себя в течение карьеры и очень, очень усердной работы. Во время моей докторской диссертации Моше постоянно предлагал мне изучить методы, которые могли бы помочь мне во многих областях, что было замечательно. Будучи аспирантом, я сосредоточился на том, чтобы просто закончить, а не на том, что ждет меня в долгосрочной перспективе. Заставить меня научиться смотреть на вещи в перспективе было очень полезно.
«И Моше очень умен, но он также очень много работает. Он всегда работает. Если вы видите его на выступлении, он первый, кто задает вопрос, потому что ему интересно узнать о новых областях и идеях. Когда я впервые встретился с ним, Моше уже более 30 лет занимался издательской деятельностью, но он продолжал показывать мне, как радоваться новым открытиям и как не уклоняться от действительно тяжелой работы».
Мил считает, что возможность наставничества студентов — это та часть карьеры Варди, которой он больше всего гордится, поэтому неудивительно, что аспиранты являются равноправными участниками VardiFest22.
Одним из таких докладчиков-аспирантов является Муник Миттельманн. Она прилетает из Франции, чтобы выступить с докладом на тему «Автоматизированный синтез механизмов». В докладе рассматривается дизайн механизма, в котором игроки могут влиять на то, что происходит; если они будут действовать рационально, игра будет иметь «хороший» результат — по отношению к критериям дизайна.
Миттельманн сказал: «Рассмотрим проблему планирования выборов. У каждого избирателя есть свои предпочтения по отношению к возможным кандидатам. Есть много способов, которыми мы могли бы разработать игру для определения победителя. Во-первых, в отношении того, как избиратели могут участвовать: они могут поочередно снимать своего менее предпочтительного кандидата, предоставлять порядковый рейтинг кандидатов, оценивать каждого по шкале (например, хороший, приемлемый, плохой) и так далее. Более того, мы также должны решить, как голоса будут переведены в результаты выборов.
«Очевидно, что во всем мире существуют разные системы для решения этой проблемы, и выбор другого метода может изменить результаты выборов. Возможно, мы не сможем определить, какой метод является оптимальным, но есть характеристики, которые мы, возможно, хотели бы, чтобы наши выборы имели. Мы можем захотеть избежать диктатуры (участник, который сам выбирает результат), стимулировать людей к участию, выбрать победителя, который максимизирует социальное благосостояние, и так далее. В нашей работе мы предлагаем использовать логику и формальные методы для автоматизации процесса создания, обоснования и проверки механизмов принятия социальных решений».
Социальные решения, социальное поведение и этика — все это актуальные темы в наши дни, и Варди завершит семинар докладом, посвященным роли этики в информатике.
Розье сказал: «Он тот человек, к которому я обращаюсь за советом всякий раз, когда сталкиваюсь со сложным этическим вопросом. Я всегда хочу поступать правильно, но когда неясно, что правильно, я часто советуюсь с Моше.
«У Моше сильный моральный компас в сочетании с его логическим складом ума и способностью сопереживать, поэтому я даже обращаюсь к нему с вопросами, касающимися проблем, с которыми я сталкиваюсь как женщина в этой области, таких как женоненавистнические утверждения в технических разговорах или сексуальные домогательства. Это одна из причин, почему особенно уместно, что выступление Моше на VardiFest22 озаглавлено «Как быть этичным специалистом по информатике'. Ему есть чем поделиться с более широким исследовательским сообществом по этой теме».
В этой статье, составленной Карлин Чатфилд, есть несколько авторов:
Кулдип С. Мил — молодой президентский профессор в школе компьютерных наук Национального университета Сингапура.
Крис Джермейн, профессор инженерии Джей С. Аберкромби в Университете Райса в Техасе, также является заведующим кафедрой компьютерных наук и директором университетской магистерской программы по науке о данных.
Кристин Ивонн Розье — доцент Black & Veatch «построение мира различий «в Университете штата Айова, который работает на факультетах аэрокосмической техники, информатики, математики, электротехники и вычислительной техники, а также в Центре приложений виртуальной реальности.
Джузеппе Де Джакомо является профессором кафедры компьютерных технологий, управления и управления в университете Сапиенца Ди Рома.
Пьер Вольпер является ректором Льежского университета в Бельгии.
Шрирам Кришнамурти — профессор компьютерных наук в Университете Брауна в Род-Айленде.
Рональд Феджин-научный сотрудник IBM в исследовательской лаборатории Almaden в Сан-Хосе, штат Калифорния.
Фокион г. Колайтис является выдающимся профессором-исследователем на факультете компьютерных наук и инженерии Калифорнийского университета в Санта-Крусе. Он также является главным сотрудником исследовательского центра IBM Almaden Research Center.
Йорам Мозес — профессор кафедры электротехники в Технологическом институте Технион — Израиль.
Итиро Хасуо является профессором компьютерных наук в Национальном институте информатики в Японии.
Шарад Малик — профессор инженерии Джорджа Ван Несса Лотропа в Принстонском университете в Нью-Джерси.
Лидия Кавраки-профессор компьютерных наук Ноа Хардинга в Университете Райса в Техасе. Она также является профессором биоинженерии, профессором электротехники и вычислительной техники, профессором машиностроения и директором Института Кена Кеннеди.
Мунке Миттельманн является аспирантом, которого консультирует Лоран Париссель в IRIT — Université Toulouse 1 Capitoleus во Франции.