Моше Варді
Ця стаття містить правописні, лексичні, граматичні, стилістичні або інші мовні помилки, які треба виправити. (серпень 2020) |
Моше Яаков Варді (івр. משה יעקב ורדי; нар. 1954 року) — ізраїльський математик та інформатик, професор інформатики Університету Райса,[8] Сполучені Штати Америки. Він належить до списку видатник професорів у сфері обчислювальної техніки,[9] та обраний директором Інституту інформаційних технологій Кена Кеннеді.
Навчання та нукова діяльність
У 1981 році Моше Варді отримав ступінь доктора філософії у Єврейському університеті в Єрусалимі. Він очолював кафедру інформатики в університеті Райса з січня 1994 року по червень 2002 року. До приходу в Райс у 1993 році, він працював у дослідницькому центрі IBM Almaden, де керував відділом математики та суміжних комп'ютерних наук.
Наукові інтереси
Його інтереси зосереджені на застосуванні логіки до комп'ютерної науки, включаючи теорію баз даних, теорію кінцевих моделей, знання в мультиагентних системах, комп'ютерній верифікації та міркуваннях, а також навчальної логіки навчального плану. Він є експертом з перевірки моделей, задоволеності обмежень та теорії баз даних, загальновідомості (логіки) та теоретичних комп'ютерних науках.[10][11].
Наукові публікації
Моше Варді є автором понад 400 технічних документів,[12][13][14] а також редактором кількох наукових збірок. Він написав книгу «Роздуми про знання» [15] з Рональдом Фагіном, Джозефом Халперном та Йорамом Мойсеєм, а також теорією кінцевої моделі [16] з Еріхом Граделем, Фокіоном Г. Колайтісом, Леонідом Лівкіним, Мартеном Марксом, Йоелем Спенсером, Йде Венем та Скоттом Вайнштейном . Він також є колишнім головним редактором журналу «Communications of the ACM»[17].
Нагороди та досягнення
Моше Варді є лауреатом трьох премій IBM Outstanding Innovation Awards. Він також лауреат премія Геделя 2000 року за роботу з тимчасовою логікою з кінцевими автоматами), лауреат премії Канеллакіса 2005 року, а також лауреат премії LICS 2006 року.
Він також у 2008 році одержав ACM Presidential Award (президентську премію) та був нагороджений Медаллю Блейза Паскаля в галузі обчислювальної науки Європейської академії наук.[18] У 2010 році він мав нагороду за видатні заслуги від Асоціації комп'ютерних досліджень, інституту інженерів з електротехніки та радіоелектроніки (IEEE) і комп'ютерного Товариства за 2011 рік Harry H. Goode Award.
Моше Варді також отримав почесні докторські ступені від Саарландського університету, Німеччина, та Орлеанського університету, Франція.
Доктор Варді є редактором кількох міжнародних журналів і президентом Міжнародної федерації обчислювальніх логіків. Він отримав грант Гуггенхайма,, а також був обраний членом Асоціації обчислювальної техніки, Американської асоціації сприяння розвитку науки та Американської асоціація штучного інтелекту.
Він був визначений високо цитованим вченим Інституту наукової інформації, а також був обраний членом американської Національної інженерної Академії, Національної Академії наук США,[19] у Європейської Академії наук та Європейської Академії (Academia Europaea). Моше Варді також був обраний у 2010 році до Американської академії мистецтв і наук.[20] Він також є співголовою робочої групи АСМ з питань міграції робочої сили.
Посилання
- ↑ Freebase Data Dumps — Google.
- ↑ а б в г д Математичний генеалогічний проєкт — 1997.
- ↑ https://www.ae-info.org/ae/User/Vardi_Moshe
- ↑ https://awards.acm.org/fellows/award-recipients
- ↑ https://www.siam.org/prizes-recognition/fellows-program/all-siam-fellows?page=3
- ↑ http://www.ams.org/fellows_by_year.cgi?year=2019
- ↑ http://www.ams.org/news?news_id=4678
- ↑ www.cs.rice.edu/~vardi. Процитовано 20 червня 2012.
- ↑ BOYD, JADE (22 липня 2011). Rice’s Moshe Vardi honored as Distinguished Service Professor. Rice University. Архів оригіналу за квітень 10, 2012. Процитовано 10 квітня 2012.
Rice University computer scientist Moshe Vardi has been named a Distinguished Service Professor, one of the university’s most prestigious faculty appointments.
- ↑ Шаблон:ACMPortal
- ↑ Winslett, M. (2006). Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof. ACM SIGMOD Record. 35: 56. doi:10.1145/1121995.1122008.
- ↑ Moshe Y. Vardi. Публікації DBLP.
- ↑ Список публікацій на Microsoft Academic Search
- ↑ Публікації за ім'ям: Моше Варді індексовані Google Scholar, сервісом Google
- ↑ Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Reasoning About Knowledge. Cambridge, Mass: The MIT Press. ISBN 0-262-56200-6.
- ↑ Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde (2007). Finite model theory and its applications. Berlin: Springer. ISBN 3-540-00428-9.(нім.)
- ↑ Vardi, M. Y. (2012). Artificial intelligence: Past and future. Communications of the ACM. 55: 5. doi:10.1145/2063176.2063177.(англ.)
- ↑ Does automation doom workers?. (George R. Brown School of Engineering at) Rice University. 31 жовтня 2016. Архів оригіналу за квітень 27, 2017. Процитовано 27 квітня 2017.
the 2008 Blaise Pascal Medal for Computer Science by the European Academy of Sciences
- ↑ National Academy of Sciences Elections, Notices of the American Mathematical Society, 62 (7), August 2015: 826.
- ↑ Rice's Moshe Y. Vardi elected fellow of American Academy of Arts and Sciences.
![]() |
Це незавершена стаття про IT-спеціаліста чи спеціалістку. Ви можете допомогти проєкту, виправивши або дописавши її. |
|
- Народились 4 липня
- Народились 1954
- Уродженці Хайфи
- Люди IBM
- Науковці Стенфордського університету
- Члени Європейської академії
- Члени і члени-кореспонденти Національної академії наук США
- Члени Американської академії мистецтв і наук
- Члени Американської асоціації сприяння розвитку науки
- Члени Американського математичного товариства
- Отримувачі гранту Ґуґґенгайма
- Лауреати премії Геделя
- Лауреати премії Канеллакіса
- Лауреати меморіальної премії Гаррі Ґуда
- Дійсні члени ACM
- Члени Товариства з промислової та прикладної математики
- Лауреати нагороди Асоціації з розвитку штучного інтелекту імені Аллена Ньюелла
- Випускники Єврейського університету в Єрусалимі
- Ізраїльські математики
- Члени Національної інженерної академії США
- Персоналії:Хайфа