Игорь Леонидович Марков
Американский учёный и инженер-компьютерщик
Игорь Леонидович Марков
Игорь Леонидович Марков
Рожденный( 1973-03-31 )31 марта 1973 г. (51 год)
Киев , Украинская ССР , Советский Союз (ныне Киев , Украина )
Национальность Украина
Альма-матер
Научная карьера
ПоляКомпьютерные науки , Электротехника , Оптимизация , Автоматизация проектирования электронных устройств , Искусственный интеллект , Квантовые вычисления
УчрежденияМичиганский университет , Стэнфордский университет , Метаплатформы , Google
ТезисРазмещение сверху вниз, управляемое синхронизацией, с прямой минимизацией максимальной задержки сигнала  (2001)
научный руководительЭндрю Б. Канг
ДокторантыСмита Кришнасвами
Другие известные студентыВивек Шенде

Игорь Леонидович Марков [a] (родился в 1973 году) — американский профессор, [1] компьютерный учёный и инженер. Марков известен результатами в области квантовых вычислений , работой над пределами вычислений , исследованиями алгоритмов оптимизации интегральных схем и автоматизации электронного проектирования , а также искусственного интеллекта . Кроме того, Марков — американский некоммерческий руководитель [2], ответственный за помощь Украине на сумму более ста миллионов долларов. [3] [4] [5]

Игорь Леонидович Марков не имеет известных связей с математиком Андреем Марковым .

Карьера

Марков получил степень магистра математики и степень доктора философии в области компьютерных наук в Калифорнийском университете в Лос-Анджелесе в 2001 году. [6] [7] С начала 2000-х по 2018 год он был профессором Мичиганского университета , [1] где руководил докторскими диссертациями и степенями 12 студентов в области электротехники и компьютерных наук . [7] Он работал главным инженером в Synopsys во время академического отпуска. [8] [9] В 2013-2014 годах он был приглашенным профессором в Стэнфордском университете . [10] Марков работал в Google над поиском и поиском информации , [11] и в Meta над платформами машинного обучения . [12] [13] [14] С 2024 года он работает в Synopsys . [15]

Марков является членом совета директоров Nova Ukraine , благотворительной организации California 501(c)(3), которая предоставляет гуманитарную помощь в Украине. [16] В Nova Ukraine Марков руководит связями с правительством и СМИ, а также адвокационной деятельностью. Марков курировал рекламные мероприятия, создавал и курировал крупные медицинские и эвакуационные проекты, а также участвовал в сборе средств.

Марков является членом Совета директоров Американской коалиции за Украину , зонтичной организации, которая координирует сто некоммерческих организаций США, обеспокоенных событиями на Украине. [17]

Награды и отличия

В 2004 году Специальная группа по интересам ACM по автоматизации проектирования удостоила Маркова награды «Выдающийся новый преподаватель». [18]

В 2009 году Марков был удостоен премии IEEE CEDA Ernest S. Kuh Early Career Award «за выдающийся вклад в алгоритмы, методологии и программное обеспечение для физического проектирования интегральных схем ». [19] [20] В 2011 году Марков стал выдающимся ученым ACM. [21] [22] В 2013 году он был назван членом IEEE [23] «за вклад в методы оптимизации в автоматизации проектирования электроники ». [24]

Публикации, отмеченные наградами

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

Книги и другие публикации

Марков является соавтором более 200 рецензируемых публикаций в журналах и архивных материалах конференций, а Google Scholar сообщил о более чем 19 000 цитированиях его публикаций по состоянию на октябрь 2023 года.

В статье Nature 2014 года [37] Марков рассмотрел известные ограничения вычислений , указав, что многие из них довольно свободны и не ограничивают краткосрочные технологии. Когда практические технологии сталкиваются с серьезными ограничениями, понимание этих ограничений может привести к обходным путям. Чаще всего то, что практически достижимо, зависит от технических ограничений, специфичных для конкретной технологии.

В 2024 году Марков опубликовал статью в журнале Communications of the ACM, в которой критиковал предыдущую публикацию журнала Nature о проектировании микросхем. [38] [39]

Марков был соавтором двухтомного справочника по автоматизации проектирования электронных устройств , опубликованного во втором издании Taylor & Francis в 2016 году. [40] Он также был соавтором пяти научных книг, опубликованных Springer , среди которых два учебника:

Другие книги Маркова посвящены неопределенности в логических схемах , [44] ошибкам функционального проектирования в цифровых схемах , [45] и физическому синтезу интегральных схем . [46]

Ключевые технические вклады

Квантовые вычисления

Вклад Маркова включает результаты по синтезу квантовых схем (создание схем по спецификациям) и моделированию квантовых схем на обычных компьютерах (получение выходных данных квантового компьютера без квантового компьютера).

  • Алгоритм синтеза линейных обратимых схем с максимум CNOT- вентилями (асимптотически оптимальный) [47] , который был расширен Скоттом Ааронсоном и Дэниелом Готтесманом для выполнения оптимального синтеза схем Клиффорда [48] с приложениями к квантовой коррекции ошибок . О ( н 2 / бревно ⁡ н ) {\displaystyle O(n^{2}/\log n)}
  • Оптимальный синтез двухкубитного унитарного ключа, использующего минимальное количество вентилей CNOT [49] [50]
  • Асимптотически оптимальный синтез -кубитовой квантовой схемы, которая (a) реализует заданную унитарную матрицу, используя не более чем вентили CNOT (менее чем в два раза от теоретической нижней границы) и (b) индуцирует начальное квантовое состояние, используя не более чем вентили CNOT (менее чем в четыре раза от теоретической нижней границы). [49] IBM Qiskit использует алгоритм синтеза цепей Маркова. [51] н {\displaystyle n} ( 23 / 48 ) × 4 н − ( 3 / 2 ) × 2 н + 4 / 3 {\displaystyle (23/48)\times 4^{n}-(3/2)\times 2^{n}+4/3} 2 н + 1 − 2 н {\displaystyle 2^{n+1}-2n}
  • Эффективное моделирование квантовых цепей с малой шириной дерева с использованием сжатия тензорной сети . [52] Последующие работы расширили эту технику с помощью приближений, что позволило им моделировать квантовое преобразование Фурье в поливремени. [53] [54] Работа Маркова была существенно использована в первом доказательстве ( Дорит Аароновой и др.) того, что квантовое преобразование Фурье можно моделировать классически. [53]

Физическое проектирование интегральных схем

Capo-плейсер Маркова [55] предоставил базовую линию для сравнений, используемых в литературе по размещению. Пластер был коммерциализирован и использовался для проектирования промышленных чипов. [56] Вклад Маркова включает алгоритмы, методологии и программное обеспечение для

  • Разбиение схемы: [57] [58] высокопроизводительная эвристическая оптимизация для разбиения гиперграфа
  • Размещение : [34] [55] алгоритмы поиска местоположений компонентов схемы, которые оптимизируют соединения между этими компонентами. ( х , у ) {\displaystyle (x,y)}
  • Floorplanning : [59] алгоритмы и методики для планирования микросхем с точки зрения расположения крупных компонентов
  • Маршрутизация : [60] алгоритмы, основанные на релаксации Лагранжа, для построения глобальных проводных маршрутов на многослойной сетчатой ​​структуре.
  • Физический синтез: [30] алгоритмы и методологии для изменения логических схем, чтобы допускать макеты с более короткими межсоединениями или меньшей задержкой

Машинное обучение

Марков руководил разработкой сквозной платформы искусственного интеллекта под названием Looper, которая поддерживает полный жизненный цикл машинного обучения от обучения модели, развертывания и вывода вплоть до оценки и настройки продуктов. Looper предоставляет простые в использовании API для оптимизации, персонализации и сбора отзывов. [12] [61] [62]

Активность в социальных сетях

Марков был удостоен статуса Top Writer на Quora в 2018, 2017, 2016, 2015 и 2014 годах, у него более 80 000 подписчиков. Его вклады были переизданы Huffington Post , Slate и Forbes . [63]

Марков является модератором тематической области cs.ET (Новые технологии в области вычислений и коммуникаций) на arXiv .

Примечания

  1. ^ Украинский : Игорь Леонидович Марков , латинизированный :  Игорь Леонидович Марков

Ссылки

  1. ^ ab "Проф. Игорь Марков". Мичиганский университет, Компьютерные науки и инженерия . Получено 6 августа 2023 г.
  2. ^ "Nova Ukraine: Supporting Ukraine in Crisis and Beyond". Национальный благотворительный фонд . 30 марта 2022 г.
  3. ^ «Мирные жители эвакуированы из Мариуполя». Стенограммы новостей CNN . 2 мая 2022 г.
  4. ^ "Nova Ukraine собрала $30 млн для оказания помощи в ликвидации последствий вторжения #России в #Украину (видео)". Twitter . First Move CNN. 11 мая 2022 г.
  5. ^ «Nova Ukraine предоставила Украине более 50 миллионов долларов помощи в 2022 году». PR Newswire. 2022 . Получено 19 декабря 2022 .
  6. ^ "Игорь Леонидович Марков". Проект генеалогии математики . Получено 11 августа 2023 г.
  7. ^ ab "Игорь Марков: профиль автора IEEE Xplore". IEEE Xplore . Получено 8 октября 2023 г. .
  8. ^ US8141024B2, Марков, Игорь Л. и МакЭлвейн, Кеннет С., «Временное совместное использование ресурсов в электронных системах», выпущено 20.03.2012 
  9. ^ US9285796B2, Марков, Игорь Л. и МакЭлвейн, Кеннет С., «Приблизительное функциональное соответствие в электронных системах», выпущено 15.03.2016 
  10. ^ "Приглашенный профессор: Игорь Марков". Stanford Electrical Engineering . Получено 11 августа 2023 г. .
  11. ^ "Патент США 10,235,432 "Поиск документов с использованием множественных порядков сортировки"". Google Patents . Получено 11 августа 2023 г.
  12. ^ ab "Внутри платформы оптимизации искусственного интеллекта Meta для инженеров по всей компании". Facebook . Получено 11 августа 2023 г. .
  13. ^ VanBilliard, Jefferson (2023-07-26). "Игорь Марков". Конференция по искусственному интеллекту . Получено 2023-10-05 .
  14. ^ Кастури, Нитья; Марков, Игорь Л. (2022-02-11). «Ранжирование и классификация текста с использованием сжатия данных». Я (все еще) не могу поверить, что это не лучше! Семинар на NeurIPS 2021. PMLR: 48–53. arXiv : 2109.11577 .
  15. ^ «Мона Кнутсен в LinkedIn: #genairevolution #welcometothefuture #innovationleader #legend» . www.linkedin.com . Проверено 27 марта 2024 г.
  16. ^ "Совет директоров Nova Ukraine". Nova Ukraine . 18 апреля 2022 г. Получено 12 августа 2023 г.
  17. ^ "Совет директоров – Американская коалиция за Украину" . Получено 2024-06-23 .
  18. ^ «Премия за выдающиеся достижения в области преподавания». ACM SIGDA. 18 июня 2019 г. Получено 8 октября 2023 г.
  19. ^ "IEEE CEDA Ernest S. Kuh Early Career Award". IEEE Council on Electronic Design Automation . Получено 7 августа 2023 г.
  20. ^ "IEEE Council on EDA Honors Igor Markov with Early Career Award" (PDF) . Business Wire . Получено 3 октября 2023 г. .
  21. ^ "ACM называет 54 выдающихся члена за вклад в вычислительную технику". ACM. 15 декабря 2011 г.
  22. ^ "Игорь Марков назван выдающимся ученым ACM". Мичиганский университет, компьютерные науки и инженерия. 15 декабря 2011 г.
  23. ^ "Игорь Марков | IEEE CASS". ieee-cas.org . Получено 2023-10-05 .
  24. ^ "Справочник стипендиатов". IEEE . Получено 6 августа 2023 г. .
  25. ^ Вивек В. Шенде; Адитья К. Прасад; Игорь Л. Марков; Джон П. Хейс (2003). «Синтез обратимых логических схем». Труды IEEE по автоматизированному проектированию интегральных схем и систем . 22 (6): 710–722. doi :10.1109/TCAD.2003.811448.
  26. ^ "IEEE Transactions on Computer-Aided Design Donald O. Pederson Best Paper Award | IEEE Council on Electronic Design Automation". ieee-ceda.org . Получено 12 августа 2023 г.
  27. ^ Смита Кришнасвами; Джордж Ф. Виамонтес; Игорь Л. Марков; Джон П. Хейс (2005). «Точная оценка надежности и повышение ее с помощью вероятностных матриц передачи». Труды Design Automation and Test in Europe (DATE) . 2005 : 282–287.
  28. ^ "Best Paper Awards DATE 2006" (PDF) . Получено 12 августа 2023 г. .
  29. ^ Смита Кришнасвами; Джордж Ф. Виамонтес; Игорь Л. Марков; Джон П. Хейс (2008). «Вероятностные матрицы передачи в символическом анализе надежности логических схем». ACM Transations on Design Automation of Electronic Systems . 13 (1): 8:1–8:35.
  30. ^ ab Stephen Plaza; Игорь Л. Марков; Валерия Бертакко (2008). «Оптимизация немонотонных межсоединений с использованием функционального моделирования и логической реструктуризации». Труды Международного симпозиума по физическому проектированию (ISPD) . 2008 : 95–102.
  31. ^ "Лучшая статья на Международном симпозиуме по физическому проектированию (ISPD) 2008" . Получено 26 октября 2023 г. .
  32. ^ Myung-Chul Kim; Dongjin Lee; Igor L. Markov (2010). «SimPL: Эффективный алгоритм размещения». Труды Международной конференции по автоматизированному проектированию (ICCAD) . 2010 : 649–656.
  33. ^ "Лучшая статья на Международной конференции IEEE/ACM по автоматизированному проектированию (ICCAD) 2010" . Получено 26 октября 2023 г. .
  34. ^ ab Myung-Chul Kim; Dongjin Lee; Igor L. Markov (2012). «SimPL: Эффективный алгоритм размещения». Труды IEEE по автоматизированному проектированию интегральных схем и систем . 31 (1): 50–60. doi :10.1109/TCAD.2011.2170567. S2CID  47293399.
  35. ^ Хади Катеби; Карем А. Сакаллах; Игорь Л. Марков (2012). «Обнаружение симметрии графа и каноническая маркировка: различия и синергия». Turing-100 . Easy Chair. ISBN 9781782310006.
  36. ^ "Computer Scientists Win Best Paper Award at Turing Centenary Conference". Computer Science and Engineering . Получено 13 августа 2023 г.
  37. ^ Марков, Игорь (2014). «Ограничения фундаментальных пределов вычислений». Nature . 512 (7513): 147–154. arXiv : 1408.3821 . Bibcode :2014Natur.512..147M. doi :10.1038/nature13570. PMID  25119233. S2CID  4458968.
  38. ^ «Переоценка обучения с подкреплением Google для размещения макросов IC». www.computer.org . Получено 2024-11-05 .
  39. ^ "CACM за ноябрь 2024 г.: переоценка обучения с подкреплением Google для размещения макросов IC". www.youtube.com . Получено 05.11.2024 .
  40. ^ Лучано Лаваньо; Игорь Л. Марков; Грант Мартин; Луис К. Шеффер, ред. (2016). Автоматизация электронного проектирования для проектирования, проверки и тестирования систем ИС; 2-е изд . Тейлор и Фрэнсис. стр. 664. ISBN 9781138586000.
  41. ^ Джордж Ф. Виамонтес; Игорь Львович Марков; Джон П. Хейс (2009). Моделирование квантовых цепей . Спрингер. п. 200. ИСБН 978-90-481-3064-1.
  42. ^ Эндрю Б. Канг; Йенс Лиениг; Игорь Л. Марков; Джин Ху (2011). Физическое проектирование СБИС — от разбиения графа до временного закрытия . Springer. С. 1–310. ISBN 978-90-481-9590-9.
  43. ^ Эндрю Б. Канг; Йенс Лиениг; Игорь Л. Марков; Цзинь Ху (2022). VLSI Physical Design — от разбиения графа до временного закрытия, 2-е изд . Springer. С. 1–317. ISBN 978-3-030-96415-3.
  44. ^ Смита Кришнасвами; Игорь Л. Марков; Джон П. Хейс (21 сентября 2012 г.). Проектирование, анализ и тестирование логических схем в условиях неопределенности . Springer. ISBN 978-90-481-9643-2.
  45. ^ Кай-хуэй Чанг; Валерия Бертакко; Игорь Л. Марков (2009). Функциональные ошибки проектирования в цифровых схемах - диагностика, исправление и ремонт . Конспект лекций по электротехнике. Том 32. Springer. стр. 185. ISBN 978-1-4020-9364-7.
  46. ^ Дэвид А. Папа; Игорь Л. Марков (2013). Многоцелевая оптимизация в физическом синтезе интегральных схем . Конспект лекций по электротехнике. Т. 166. Springer. С. 155. ISBN 978-1-4614-1355-4.
  47. ^ KN Patel; IL Markov; JP Hayes (2008). «Эффективный синтез линейных обратимых цепей». Квантовая информация и вычисления . 8 (3–4): 282–294. arXiv : quant-ph/0302002 . doi :10.26421/QIC8.3-4-4.
  48. ^ Ааронсон, Скотт; Готтесман, Дэниел (2004). «Улучшенное моделирование схем стабилизаторов». Phys. Rev. A. 70 ( 5): 052328. arXiv : quant-ph/0406196 . Bibcode : 2004PhRvA..70e2328A. doi : 10.1103/PhysRevA.70.052328. S2CID  5289248.
  49. ^ ab Шенде, Вивек В.; Буллок, Стивен С.; Марков, Игорь Л. (2006). «Синтез квантовых логических схем». Труды IEEE по автоматизированному проектированию интегральных схем и систем . 25 (6): 1000–1010. arXiv : quant-ph/0406176 . doi :10.1109/TCAD.2005.855930. S2CID  265038781.
  50. ^ Шенде, Вивек В.; Марков, Игорь Л.; Буллок, Стивен С. (2004-06-30). "Минимальные универсальные двухкубитные управляемые НЕ-схемы". Physical Review A. 69 ( 6): 062321. arXiv : quant-ph/0308033 . Bibcode : 2004PhRvA..69f2321S. doi : 10.1103/PhysRevA.69.062321. S2CID  119489186.
  51. ^ Араужо, Израиль Ф.; Парк, Даниэль К.; Петруччионе, Франческо; да Силва, Аденилтон Дж. (2021-03-18). «Алгоритм «разделяй и властвуй» для подготовки квантового состояния». Scientific Reports . 11 (1): 6329. doi : 10.1038/s41598-021-85474-1 . ISSN  2045-2322. PMC 7973527 . PMID  33737544. 
  52. ^ Марков, Игорь Л.; Ши, Яоюнь (январь 2008 г.). «Моделирование квантовых вычислений с помощью контрактирующих тензорных сетей». SIAM Journal on Computing . 38 (3): 963–981. arXiv : quant-ph/0511069 . doi : 10.1137/050644756. ISSN  0097-5397. S2CID  3187832.
  53. ^ ab Ааронов, Дорит; Ландау, Зеф; Маковски, Иоганн (2006). «Квантовое БПФ можно моделировать классически». arXiv : quant-ph/0611156 .
  54. ^ Йоран, Надав; Шорт, Энтони Дж. (2007-10-16). "Эффективное классическое моделирование приближенного квантового преобразования Фурье". Physical Review A. 76 ( 4): 042321. arXiv : quant-ph/0611241 . Bibcode : 2007PhRvA..76d2321Y. doi : 10.1103/PhysRevA.76.042321. S2CID  119444986.
  55. ^ ab Andrew E. Caldwell; Andrew B. Kahng; Igor L. Markov (2000). "Может ли рекурсивное бисекция сама по себе производить маршрутизируемые размещения?". Труды 37-й конференции по автоматизации проектирования - DAC '00 . Том. 2000. С. 477–482. doi :10.1145/337292.337549. ISBN 1581131879. S2CID  4926321.
  56. ^ "Совет IEEE по EDA наградил Игоря Маркова премией за раннюю карьеру". www.chipestimate.com . Получено 03.10.2023 .
  57. ^ Эндрю Э. Колдуэлл; Эндрю Б. Канг; Игорь Л. Марков (2000). «Оптимальные разделители и конечные установщики для стандартной компоновки ячеек». IEEE Trans. Comput. Aided Des. Integr. Circuits Syst . 19 (11): 1304–1313. doi :10.1109/43.892854.
  58. ^ Колдуэлл, Эндрю Э.; Канг, Эндрю Б.; Марков, Игорь Л. (2001-12-31). «Проектирование и реализация эвристик на основе перемещений для разбиения гиперграфов СБИС». ACM Journal of Experimental Algorithmics . 5 : 5–es. doi :10.1145/351827.384247. ISSN  1084-6654. S2CID  2074760.
  59. ^ Saurabh N. Adya; Igor L. Markov (2003). «Планировка этажей с фиксированным контуром: обеспечение иерархического проектирования». IEEE Trans. Very Large Scale Integr. Syst . 11 (6): 1120–1135. doi :10.1109/TVLSI.2003.817546.
  60. ^ Джаррод А. Рой; Игорь Л. Марков (2008). «Высокопроизводительная маршрутизация в нанометровом масштабе». IEEE Trans. Comput. Aided Des. Integr. Circuits Syst . 27 (6): 1066–1077. doi :10.1109/ICCAD.2007.4397313. S2CID  61607526.
  61. ^ Марков, Игорь Л.; Ван, Хансон; Кастури, Нитья С.; Сингх, Шон; Гаррард, Миа Р.; Хуан, Инь; Юэнь, Сзе Вай Селеста; Тран, Сара; Ван, Зехуэй; Глотов, Игорь; Гупта, Танви; Чэнь, Пэн; Хуан, Бошуан; Се, Сяовэнь; Белкин, Майкл (14.08.2022). «Looper: сквозная платформа машинного обучения для принятия решений о продуктах». Труды 28-й конференции ACM SIGKDD по обнаружению знаний и интеллектуальному анализу данных . KDD '22. Нью-Йорк, Нью-Йорк, США: Ассоциация вычислительной техники. С. 3513–3523. arXiv : 2110.07554 . дои : 10.1145/3534678.3539059. ISBN 978-1-4503-9385-0.
  62. ^ Looper: сквозная платформа машинного обучения для принятия решений по продуктам — Игорь Марков | Stanford MLSys #60.
  63. ^ "Профиль Игоря Маркова". Quora . Получено 8 октября 2023 г. .
  • Публикации Игоря Л. Маркова, проиндексированные Google Scholar
  • Игорь Л. Марков на сервере библиографии DBLP
Взято с "https://en.wikipedia.org/w/index.php?title=Игорь_Л._Марков&oldid=1255708960"