Дипак Капур

Дипак Капур
Рожденный	( 1950-08-24 ) 24 августа 1950 г. Амритсар, Пенджаб, Индия
Национальность	Индийская, Американская
Альма-матер	Индийский технологический институт Канпура Массачусетский технологический институт
Супруг	Роли Варма
Награды	Премия Эрбрана (2009)
Научная карьера
Поля	Автоматизированные рассуждения , переписывание терминов , унификация , символьные вычисления , формальные методы
Диссертация	К теории абстрактных типов данных.  (1980)
Докторантура	Барбара Лисков
Веб-сайт	https://www.cs.unm.edu/~kapur/

Дипак Капур (родился 24 августа 1950 г.) — заслуженный профессор кафедры компьютерных наук Университета Нью-Мексико .

Биография

Капур родился в семье низшего среднего класса в Амритсаре , где его отец, Навал Кишор Капур, был торговцем тканями; его мать, Бимла Вати, была домохозяйкой.

Образование

Раннее образование Капура проходил в государственной начальной школе Катра Хазана, Амритсар, до третьего класса. Затем его перевели в начальную школу Видья Бхушан в Амритсаре. После 5-го класса ему пришлось снова сменить школу на высшую среднюю школу Даянанд Англо Ведик (DAV) до 11 класса. Он был выбран на вступительных экзаменах в Индийский технологический институт (ИИТ) в 1966 году. Он получил степень бакалавра технических наук (бакалавр технических наук) в области электротехники в ИИТ, Канпур, в 1971 году и степень магистра технических наук. получил степень в области компьютерных наук в мае 1973 года также в ИИТ, Канпур.

Академическая карьера

После окончания Массачусетского технологического института в марте 1980 года Капур поступил на работу в качестве научного сотрудника в отдел корпоративных исследований и разработок GE (GECRD), Скенектади, штат Нью-Йорк, где проработал до декабря 1987 года. Во время работы в GECRD он был адъюнкт-профессором в Политехническом институте Ренсселера. (RPI), где он читал курс по автоматизированному рассуждению, основанному на переписывании терминов. В RPI он также руководил докторской диссертацией. диссертации Абделилы Кандри-Роди и Хантао Чжана.

Капур был принят на работу в 1988 году в качестве штатного профессора Университета штата Нью-Йорк в Олбани. В 1998 году Капур получил награду за выдающиеся исследования.

Капур стал заведующим кафедрой компьютерных наук Университета Нью-Мексико (UNM) в декабре 1998 года и занимал эту должность до июня 2006 года. В 2007 году Капур был удостоен звания заслуженного профессора UNM. В мае 2010 года Капур был награжден премией старшего факультета за выдающиеся достижения в области исследований Инженерной школы UNM.

Капур провел визиты в Массачусетский технологический институт , Институт информатики Макса Планка , Институт фундаментальных исследований Тата, Мумбаи , Индийский технологический институт, Дели , Институт программного обеспечения (Пекин), Китайскую академию наук (ISCAS), Институт IMDEA. Программное обеспечение, Мадрид, среди других учреждений.

Капур работал консультантом в компаниях корпоративных исследований и разработок GE, Sandia National Labs, IBM Research в Watson и Fujitsu Labs.

Капур был главным редактором журнала автоматического рассуждения с 1993 по 2007 год. Он входил в редакционный совет многих журналов, включая «Журнал автоматического рассуждения» , «Журнал символических вычислений» , «Журнал логического и алгебраического программирования», «Журнал прикладной алгебры в технике, коммуникациях и вычислениях». Капур также входил в состав правления Международного журнала Лейбница по информатике.

Капур был членом правления Университета ООН – Международного института программных технологий, а также Университета ООН – Компьютеры и общество. Он также был членом правления Научно-исследовательского института компьютерных наук Национальной лаборатории Сандии и Института компьютерных наук Лос-Аламоса (LACSI).

Капур получил премию Эрбрана в 2009 году:

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

Исследовать

Капур опубликовал более 150 статей по языкам программирования, формальным методам, включая проверку программного и аппаратного обеспечения, автоматическому доказательству теорем, переписыванию терминов, индуктивному доказательству теорем, теории унификации, сложности алгоритмов автоматического рассуждения, доказательству геометрических теорем, базису Грёбнера, параметрическому (комплексному) Грёбнеру. Базис, многомерные результаты Диксона и другие темы.

Капур разработал программный инструмент Rewrite Rule Laboratory (RRL), первое в мире средство доказательства теорем, основанное на переписывании терминов, процедуре завершения Кнута-Бендикса и ее обобщении. Средство доказательства теорем механизировало эквациональные рассуждения, рассуждения первого порядка и индуктивные рассуждения. В GECRD Капур спроектировал и возглавил разработку GeoMeter, системы геометрических и алгебраических рассуждений, основанной на базисе Грёбнера и параметрическом базисе Грёбнера для приложений к доказательству геометрических теорем и компьютерному зрению. В Университете штата Нью-Йорк в Олбани Капур вместе с Массером руководили разработкой гипертекстовой системы Tecton для иерархического управления доказательствами. на вершине РРЛ. Эти системы использовались в приложениях для проверки оборудования, анализа спецификаций, геометрического моделирования и компьютерного зрения.

Избранные публикации

• Дональд, БР; Капур, Д.; Манди, Дж.Л. (1992). Символьные и числовые вычисления для искусственного интеллекта . Академическая пресса. ISBN  978-0-12-220535-4 .
• Капур, Д.; Манди, Дж.Л. Геометрическое рассуждение | Массачусетский технологический институт Пресс . МТИ Пресс . Проверено 6 июня 2021 г. {{cite book}}: |website= игнорируется ( помогите )
• Варма, Р.; Капур, Д. (23 апреля 2015 г.). «Расшифровка женственности в информатике в Индии». Коммуникации АКМ . 58 (5): 56–62. дои : 10.1145/2663339 . S2CID   18503653 .
• Варма, Р.; Капур, Д. (август 2013 г.). «Сравнительный анализ утечки мозгов, кровообращения и удержания мозгов: пример индийских технологических институтов». Журнал сравнительного политического анализа: исследования и практика . 15 (4): 315–330. дои : 10.1080/13876988.2013.810376 . S2CID   41370320 .
• Капур, Д.; Чжан, Х. (1 января 1995 г.). «Обзор Лаборатории правил перезаписи (RRL)». Компьютеры и математика с приложениями . 29 (2): 91–114. дои : 10.1016/0898-1221(94)00218-А . ISSN   0898-1221 .
• Капур, Д.; Не, Х.; Мюссер, ДР (октябрь 1994 г.). «Обзор системы доказательств Tecton» . Теоретическая информатика . 133 (2): 307–339. дои : 10.1016/0304-3975(94)90192-9 .
• Капур, Д.; Мюссер, доктор медицинских наук (1 февраля 1987 г.). «Доказательство последовательность» . Искусственный интеллект . 31 (2): 125–157. дои : 10.1016/0004-3702(87)90017-8 . ISSN   0004-3702 .
• Капур, Д.; Гизл, Дж.; Субраманиам, М. (2004). «Процедуры индукции и принятия решений». Преподобный Р. акад. Сьен. Серия А. Мат . CiteSeerX   10.1.1.70.2434 .
• Чжан, Х.; Капур, Д.; Кришнамурти, MS (23 мая 1988 г.). «Механизированный индукционный принцип для уравнений» . 9-я Международная конференция по автоматизированному дедукции . Конспекты лекций по информатике. Том. 310. Шпрингер, Берлин, Гейдельберг. стр. 162–181. дои : 10.1007/BFb0012831 . ISBN  3-540-19343-Х .
• Капур, Дипак; Нарендран, Палиат (18 августа 1985 г.). «Экциональный подход к доказательству теорем в исчислении предикатов первого порядка» . Материалы 9-й Международной совместной конференции по искусственному интеллекту. Том 2 . Morgan Kaufmann Publishers Inc.: 1146–1153.
• Кандри-Роди, А.; Капур, Д.; Винклер, Ф. (1989). «Процедура Кнута-Бендикса и алгоритм Бухбергера: синтез». Материалы международного симпозиума ACM-SIGSAM 1989 г. по символьным и алгебраическим вычислениям - ISSAC '89 . стр. 55–67. дои : 10.1145/74540.74548 . ISBN  0897913256 . S2CID   17914831 .
• Кандри-Роди, Э.; Капур, Д. (1 августа 1988 г.). «Вычисление базиса Гробнера полиномиального идеала в евклидовой области». Журнал символических вычислений . 6 (1): 37–57. дои : 10.1016/S0747-7171(88)80020-8 . ISSN   0747-7171 .
• Капур, Д. (1 декабря 1986 г.). «Использование оснований Грёбнера для решения задач геометрии». Журнал символических вычислений . 2 (4): 399–408. дои : 10.1016/S0747-7171(86)80007-4 . ISSN   0747-7171 .
• Капур, Д.; Манди, Дж. (1 декабря 1988 г.). «Метод Ву и его применение для просмотра в перспективе» . Искусственный интеллект . 37 (1–3): 15–36. дои : 10.1016/0004-3702(88)90048-3 . ISSN   0004-3702 .
• Ван Хентенрик, П.; Макаллестер, Д.; Капур, Д. (1 апреля 1997 г.). «Решение полиномиальных систем с использованием подхода ветвей и обрезки» . SIAM Journal по численному анализу . 34 (2): 797–827. дои : 10.1137/S0036142995281504 . ISSN   0036-1429 .
• Капур, Д. (1993). «Подход к решению систем параметрических полиномиальных уравнений». Принципы и практика программирования с ограничениями . CiteSeerX   10.1.1.39.9091 .
• Капур, Д. (февраль 2017 г.). «Комплексная базисная теория Грёбнера для параметрического полиномиального идеала и связанный с ним алгоритм завершения». Журнал системных наук и сложности . 30 (1): 196–233. дои : 10.1007/s11424-017-6337-8 . S2CID   33584098 .
• Мишель, доктор юридических наук; Нандакумар, Н.; Саксена, Т.; Капур, Д. (1 октября 1998 г.). «Геометрические, алгебраические и теплофизические методы распознавания объектов на ИК-изображениях» . Компьютерное зрение и понимание изображений . 72 (1): 84–97. дои : 10.1006/cviu.1997.0669 . ISSN   1077-3142 .
• Капур, Д.; Мэдленер, К. (1989). «Процедура завершения вычисления канонического базиса k-подалгебры» . Компьютеры и математика . стр. 1–11. дои : 10.1007/978-1-4613-9647-5_1 . ISBN  978-0-387-97019-6 .
• Капур, Д.; Саксена, Т.; Ян, Л. (1 августа 1994 г.). «Алгебраические и геометрические рассуждения с использованием результатов Диксона». Материалы международного симпозиума по символьным и алгебраическим вычислениям - ISSAC '94 . Оксфорд, Великобритания: Ассоциация вычислительной техники. стр. 99–107. дои : 10.1145/190347.190372 . ISBN  978-0-89791-638-7 . S2CID   6398360 .
• Ччерба, А.; Капур, Д. (1 июля 2004 г.). «Построение результирующих матриц типа Сильвестра с использованием формулировки Диксона» . Журнал символических вычислений . 38 (1): 777–814. дои : 10.1016/j.jsc.2003.11.003 . ISSN   0747-7171 .
• Ччерба, А.Д.; Капур, Д. (сентябрь 2003 г.). «Точные результаты для несмешанных многомерных полиномиальных систем с разрезом по углам с использованием формулировки Диксона» . Журнал символических вычислений . 36 (3–4): 289–315. дои : 10.1016/S0747-7171(03)00084-1 .
• Капур, Д.; Субраманиам, М. (сентябрь 2000 г.). «Использование индукционного доказательного устройства для проверки арифметических схем». Международный журнал по программным инструментам для трансфера технологий . 3 (1): 32–65. дои : 10.1007/PL00010808 . S2CID   10544549 .
• Фальке, С.; Капур, Д. (2015). «Когда формула является инвариантом цикла?». Логика, переписывание и параллелизм . Конспекты лекций по информатике. Том. 9200. стр. 264–286. дои : 10.1007/978-3-319-23165-5_13 . ISBN  978-3-319-23164-8 .
• Родригес-Карбонелл, Э.; Капур, Д. (1 апреля 2007 г.). «Генерация всех полиномиальных инвариантов в простых циклах» . Журнал символических вычислений . 42 (4): 443–476. дои : 10.1016/j.jsc.2007.01.002 . ISSN   0747-7171 .
• Капур, Д. (2006). Баадер, Франц; Баумгартнер, Питер; Ньювенхейс, Роберт; Воронков, Андрей (ред.). «Автоматическое создание инвариантов цикла с использованием исключения квантификаторов» . Вычеты и приложения . Материалы семинара Дагштуля. Дагштуль, Германия: Международный центр встреч и исследований в области компьютерных наук (IBFI), замок Дагштуль, Германия.
• Капур, Д. (2013). «Методы исключения для анализа программ». Логика программирования . Конспекты лекций по информатике. Том. 7797. стр. 194–215. дои : 10.1007/978-3-642-37651-1_8 . ISBN  978-3-642-37650-4 .
• Капур, Д.; Маджумдар, Р.; Зарба, КГ (2006). «Интерполяция структур данных». Материалы 14-го международного симпозиума ACM SIGSOFT по основам программной инженерии . стр. 105–116. дои : 10.1145/1181775.1181789 . ISBN  1595934685 . S2CID   158878 .
• Гиларди, С.; Джанола, А.; Капур, Д. (2020). «Вычисление унифицированных интерполянтов для EUF с помощью (условных) компактных представлений на основе DAG» . Итальянская конференция по вычислительной логике : 67–81.
• Капур, Д.; Нарендран, П. (1 октября 1992 г.). «Сложность задач объединения с ассоциативно-коммутативными операторами» . Журнал автоматизированного рассуждения . 9 (2): 261–288. дои : 10.1007/BF00245463 . ISSN   1573-0670 . S2CID   26828762 .
• Бенанав, Д.; Капур, Д.; Нарендран, П. (4 февраля 1987 г.). «Сложность задач сопоставления». Журнал символических вычислений . 3 (1–2): 203–216. дои : 10.1016/S0747-7171(87)80027-5 . ISSN   0747-7171 .
• Капур, Д.; Мюссер, Д.; Нарендран, П.; Стиллман, Дж. (1991). «Полуобъединение». Журнал теоретической информатики . 81 (2): 169–187. CiteSeerX   10.1.1.90.1272 . дои : 10.1016/0304-3975(91)90189-9 .