Jump to content

Igor L. Markov

Igor Leonidovich Markov
Игорь Леонидович Марков
Рожденный
Игорь Леонидовых Марков

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

Igor Leonidovich Markov ( Ukrainian : Ігор Леонідович Марков , romanized Ihor Leonidovych Markov ; born in 1973 in Kyiv , Ukraine ) is an American professor, [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]

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

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

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

[ редактировать ]

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

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

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

[ редактировать ]

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

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

[ редактировать ]

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

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

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

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

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

[ редактировать ]

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

[ редактировать ]

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

  • Алгоритм синтеза линейных обратимых схем с не более чем Ворота CNOT (асимптотически оптимальные) [45] который был расширен Скоттом Ааронсоном и Дэниелом Готтесманом для оптимального синтеза схем Клиффорда, [46] с приложениями к квантовой коррекции ошибок .
  • Оптимальный синтез двухкубитного унитарного устройства, использующего минимальное количество CNOT. вентилей [47] [48]
  • Асимптотически оптимальный синтез -кубитная квантовая схема, которая (а) реализует заданную унитарную матрицу, используя не более вентили CNOT (менее чем в два раза от теоретической нижней границы) и (б) индуцируют начальное квантовое состояние, используя не более Ворота CNOT (менее чем в четыре раза от теоретической нижней границы). [47] IBM Qiskit использует алгоритм синтеза схем Маркова. [49]
  • Эффективное моделирование квантовых схем с малой шириной дерева с использованием сжатия тензорной сети . [50] Последующие работы расширили эту технику аппроксимациями, которые позволили им моделировать квантовое преобразование Фурье в поли-время. [51] [52] Работа Маркова была существенно использована в первом доказательстве ( Дорит Ахаронов и др.) того, что квантовое преобразование Фурье можно моделировать классическим способом. [51]

Физический дизайн интегральных схем

[ редактировать ]

Россыпь Капо Маркова [53] предоставил основу для сравнений, используемых в литературе по размещению. Россыпь была коммерциализирована и использована для разработки промышленных чипов. [54] Вклад Маркова включает алгоритмы, методологии и программное обеспечение для

  • Разделение цепи: [55] [56] высокопроизводительная эвристическая оптимизация для разделения гиперграфов
  • Размещение : [34] [53] алгоритмы поиска расположение компонентов схемы, которые оптимизируют межсоединения между этими компонентами
  • Планировка этажа : [57] алгоритмы и методологии планирования микросхем с точки зрения расположения крупных компонентов
  • Маршрутизация : [58] алгоритмы, основанные на лагранжевой релаксации , для построения глобальных маршрутов проводов на многослойной сеточной структуре
  • Физический синтез: [30] алгоритмы и методологии изменения логических схем для использования схем с более короткими межсоединениями или меньшей задержкой.

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

[ редактировать ]

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

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

[ редактировать ]

Марков был удостоен статуса «Лучший писатель» на Quora в 2018, 2017, 2016, 2015 и 2014 годах, у него более 80 000 подписчиков. Его статьи были переизданы Huffington Post , Slate и Forbes . [61]

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

  1. ^ Jump up to: а б «Профессор Игорь Марков» . Мичиганский университет, компьютерные науки и инженерия . Проверено 6 августа 2023 г.
  2. ^ «Нова Украина: Поддержка Украины в условиях кризиса и за его пределами» . Национальный благотворительный фонд . 30 марта 2022 г.
  3. ^ «Мирные жители эвакуированы из Мариуполя» . Стенограммы отдела новостей CNN . 2 мая 2022 г.
  4. ^ «Нова Украина» собрала 30 миллионов долларов для оказания помощи #Украине после вторжения #России (видео)» . Твиттер . Первый ход CNN. 11 мая 2022 г.
  5. ^ «Нова Украина» предоставит Украине более $50 млн помощи в 2022 году . Новостная лента по связям с общественностью. 2022 . Проверено 19 декабря 2022 г.
  6. ^ «Игорь Леонидович Марков» . Проект математической генеалогии . Проверено 11 августа 2023 г.
  7. ^ Jump up to: а б «Игорь Марков: профиль автора IEEE Xplore» . IEEE Эксплор . Проверено 8 октября 2023 г.
  8. ^ US8141024B2 , Марков, Игорь Л. и МакЭлвейн, Кеннет С., «Совместное использование ресурсов с временной поддержкой в ​​электронных системах», выпущено 20 марта 2012 г.  
  9. ^ US9285796B2 , Марков, Игорь Л. и МакЭлвейн, Кеннет С., «Приблизительное функциональное соответствие в электронных системах», выпущено 15 марта 2016 г.  
  10. ^ «Приглашенный профессор: Игорь Марков» . Стэнфордская электротехника . Проверено 11 августа 2023 г.
  11. ^ «Патент США 10 235 432 «Поиск документов с использованием множественных порядков сортировки» » . Гугл Патенты . Проверено 11 августа 2023 г.
  12. ^ Jump up to: а б «Внутри платформы оптимизации искусственного интеллекта Meta для инженеров компании» . Фейсбук . Проверено 11 августа 2023 г.
  13. ^ ВанБильярд, Джефферсон (26 июля 2023 г.). «Игорь Марков» . Конференция ИИ . Проверено 5 октября 2023 г.
  14. ^ Кастури, Нитья; Марков, Игорь Л. (11 февраля 2022 г.). «Ранжирование и классификация текста с использованием сжатия данных» . Я (все еще) не могу поверить, что это не лучше! Мастер-класс на NeurIPS 2021 . ПМЛР: 48–53.
  15. ^ «Мона Кнутсен в LinkedIn: #genairevolution #welcometothefuture #innovationleader #legend» . www.linkedin.com . Проверено 27 марта 2024 г.
  16. ^ Совет директоров «Нова Украина» . Новая Украина . 18 апреля 2022 г. Проверено 12 августа 2023 г.
  17. ^ «Совет директоров – Американская коалиция за Украину» . Проверено 23 июня 2024 г.
  18. ^ «Награда выдающемуся новому факультету» . АСМ СИГДА. 18 июня 2019 года . Проверено 8 октября 2023 г.
  19. ^ «Премия IEEE CEDA Эрнеста С. Куха за раннюю карьеру» . Совет IEEE по автоматизации электронного проектирования . Проверено 7 августа 2023 г.
  20. ^ «Совет IEEE по EDA удостоил Игоря Маркова награды за раннюю карьеру» (PDF) . Деловой провод . Проверено 3 октября 2023 г.
  21. ^ «ACM называет 54 выдающихся члена за вклад в компьютерные технологии» . АКМ. 15 декабря 2011 г.
  22. ^ «Игорь Марков назван заслуженным учёным ACM» . Мичиганский университет, компьютерные науки и инженерия. 15 декабря 2011 г.
  23. ^ «Игорь Марков | IEEE CASS» . ieee-cas.org . Проверено 5 октября 2023 г.
  24. ^ «Каталог стипендиатов» . ИИЭЭ . Проверено 6 августа 2023 г.
  25. ^ Вивек В. Шенде; Адитья К. Прасад; Игорь Львович Марков; Джон П. Хейс (2003). «Синтез обратимых логических схем». Транзакции IEEE по автоматизированному проектированию интегральных схем и систем . 22 (6): 710–722. дои : 10.1109/TCAD.2003.811448 .
  26. ^ «Транзакции IEEE по автоматизированному проектированию. Премия Дональда О. Педерсона за лучшую статью | Совет IEEE по автоматизации электронного проектирования» . ieee-ceda.org . Проверено 12 августа 2023 г.
  27. ^ Смита Кришнасвами; Джордж Ф. Виамонтес; Игорь Львович Марков; Джон П. Хейс (2005). «Точная оценка и повышение надежности с помощью вероятностных передаточных матриц». Труды по автоматизации проектирования и испытаний в Европе (ДАТА) . 2005 : 282–287.
  28. ^ «Награда за лучшую бумагу 2006 г.» (PDF) . Проверено 12 августа 2023 г.
  29. ^ Смита Кришнасвами; Джордж Ф. Виамонтес; Игорь Львович Марков; Джон П. Хейс (2008). «Вероятностные матрицы передачи в символьном анализе надежности логических схем». Трансферты ACM по автоматизации проектирования электронных систем . 13 (1): 8:1–8:35.
  30. ^ Jump up to: а б Стивен Плаза; Игорь Львович Марков; Валерия Бертакко (2008). «Оптимизация немонотонных межсоединений с использованием функционального моделирования и логической реструктуризации». Труды Международного симпозиума по физическому проектированию (ISPD) . 2008 : 95–102.
  31. ^ «Международный симпозиум по физическому дизайну (ISPD) 2008» за лучшую бумагу . Проверено 26 октября 2023 г.
  32. ^ Мён Чул Ким; Донджин Ли; Игорь Львович Марков (2010). «SimPL: эффективный алгоритм размещения». Материалы Международной конференции по компьютерному проектированию (ICCAD) . 2010 : 649–656.
  33. ^ «Награда за лучшую бумагу на Международной конференции IEEE/ACM по компьютерному проектированию (ICCAD) 2010» . Проверено 26 октября 2023 г.
  34. ^ Jump up to: а б Мён Чул Ким; Донджин Ли; Игорь Львович Марков (2012). «SimPL: эффективный алгоритм размещения». Транзакции IEEE по автоматизированному проектированию интегральных схем и систем . 31 (1): 50–60. дои : 10.1109/TCAD.2011.2170567 . S2CID   47293399 .
  35. ^ Хади Катеби; Карем А. Сакалла; Игорь Львович Марков (2012). «Обнаружение симметрии графов и каноническая маркировка: различия и синергия». Тьюринг-100 . Мягкий стул. ISBN  9781782310006 .
  36. ^ «Ученые-компьютерщики получили награду за лучшую статью на конференции, посвященной столетию Тьюринга» . Информатика и инженерия . Проверено 13 августа 2023 г.
  37. ^ Марков, Игорь (2014). «Ограничения фундаментальных ограничений вычислений». Природа . 512 (7513): 147–154. arXiv : 1408.3821 . Бибкод : 2014Natur.512..147M . дои : 10.1038/nature13570 . ПМИД   25119233 . S2CID   4458968 .
  38. ^ Лучано Лаваньо; Игорь Львович Марков; Грант Мартин; Луи К. Шеффер, ред. (2016). Автоматизация электронного проектирования для проектирования, проверки и тестирования систем ИС; 2-е изд . Тейлор и Фрэнсис. п. 664. ИСБН  9781138586000 .
  39. ^ Джордж Ф. Виамонтес; Игорь Львович Марков; Джон П. Хейс (2009). квантовых цепей Моделирование Спрингер. п. 200. ИСБН  978-90-481-3064-1 .
  40. ^ Эндрю Б. Кан; Йенс Лиениг; Игорь Львович Марков; Цзинь Ху (2011). Физическое проектирование СБИС — от разделения графа до временного замыкания . Спрингер. стр. 1–310. ISBN  978-90-481-9590-9 .
  41. ^ Эндрю Б. Кан; Йенс Лиениг; Игорь Львович Марков; Цзинь Ху (2022). Физическое проектирование СБИС — от разделения графа к временному замыканию, 2-е изд . Спрингер. стр. 1–317. ISBN  978-3-030-96415-3 .
  42. ^ Смита Кришнасвами; Игорь Львович Марков; Джон П. Хейс (21 сентября 2012 г.). Проектирование, анализ и испытание логических схем в условиях неопределенности . Спрингер. ISBN  978-90-481-9643-2 .
  43. ^ Кай-хуэй Чанг; Валерия Бертакко; Игорь Львович Марков (2009). Функциональные ошибки проектирования в цифровых схемах – диагностика, исправление и ремонт . Конспект лекций по электротехнике. Том. 32. Спрингер. п. 185. ИСБН  978-1-4020-9364-7 .
  44. ^ Дэвид А. Папа; Игорь Львович Марков (2013). Многокритериальная оптимизация при физическом синтезе интегральных схем . Конспект лекций по электротехнике. Том. 166. Спрингер. п. 155. ИСБН  978-1-4614-1355-4 .
  45. ^ К. Н. Патель; И. Л. Марков; Дж. П. Хейс (2008). «Эффективный синтез линейных обратимых цепей». Квантовая информация и вычисления . 8 (3–4): 282–294. arXiv : Quant-ph/0302002 . дои : 10.26421/QIC8.3-4-4 .
  46. ^ Ааронсон, Скотт; Готтесман, Дэниел (2004). «Улучшенное моделирование схем стабилизатора». Физ. Преподобный А. 70 (5): 052328. arXiv : quant-ph/0406196 . Бибкод : 2004PhRvA..70e2328A . дои : 10.1103/PhysRevA.70.052328 . S2CID   5289248 .
  47. ^ Jump up to: а б Шенде, Вивек В.; Буллок, Стивен С.; Марков, Игорь Л. (2006). «Синтез квантовых логических схем». Транзакции IEEE по автоматизированному проектированию интегральных схем и систем . 25 (6): 1000–1010. arXiv : Quant-ph/0406176 . дои : 10.1109/TCAD.2005.855930 . S2CID   265038781 .
  48. ^ Шенде, Вивек В.; Марков Игорь Л.; Баллок, Стивен С. (30 июня 2004 г.). «Минимальные универсальные двухкубитные управляемые-НЕ схемы» . Физический обзор А. 69 (6): 062321. arXiv : quant-ph/0308033 . Бибкод : 2004PhRvA..69f2321S . дои : 10.1103/PhysRevA.69.062321 . S2CID   119489186 .
  49. ^ Араужо, Израиль Ф.; Парк, Дэниел К.; Петруччионе, Франческо; да Силва, Аденилтон Дж. (18 марта 2021 г.). «Алгоритм разделяй и властвуй для подготовки квантового состояния» . Научные отчеты . 11 (1): 6329. doi : 10.1038/s41598-021-85474-1 . ISSN   2045-2322 . ПМЦ   7973527 . ПМИД   33737544 .
  50. ^ Марков Игорь Л.; Ши, Яоюнь (январь 2008 г.). «Моделирование квантовых вычислений путем сжатия тензорных сетей» . SIAM Journal по вычислительной технике . 38 (3): 963–981. arXiv : Quant-ph/0511069 . дои : 10.1137/050644756 . ISSN   0097-5397 . S2CID   3187832 .
  51. ^ Jump up to: а б Ааронов, Дорит; Ландау, Зеф; Маковский, Иоганн (2006). «Квантовое БПФ можно смоделировать классически». arXiv : Quant-ph/0611156 .
  52. ^ Йоран, Надав; Коротко, Энтони Дж. (16 октября 2007 г.). «Эффективное классическое моделирование приближенного квантового преобразования Фурье» . Физический обзор А. 76 (4): 042321. arXiv : quant-ph/0611241 . Бибкод : 2007PhRvA..76d2321Y . дои : 10.1103/PhysRevA.76.042321 . S2CID   119444986 .
  53. ^ Jump up to: а б Эндрю Э. Колдуэлл; Эндрю Б. Кан; Игорь Львович Марков (2000). «Может ли рекурсивное деление пополам создавать маршрутизируемые размещения?» . Материалы 37-й конференции по автоматизации проектирования-DAC'00 . Том. 2000. стр. 477–482. дои : 10.1145/337292.337549 . ISBN  1581131879 . S2CID   4926321 .
  54. ^ «Совет IEEE по EDA удостоил Игоря Маркова награды за раннюю карьеру» . www.chipestimate.com . Проверено 03 октября 2023 г.
  55. ^ Эндрю Э. Колдуэлл; Эндрю Б. Кан; Игорь Львович Марков (2000). «Оптимальные перегородки и концевые россыпи для стандартной компоновки ячеек» . IEEE Транс. Вычислить. Помогал Десу. Интегр. цепей Сист . . 19 (11): 1304–1313. дои : 10.1109/43.892854 .
  56. ^ Колдуэлл, Эндрю Э.; Канг, Эндрю Б.; Марков, Игорь Л. (31 декабря 2001 г.). «Проектирование и реализация эвристики на основе перемещения для разделения гиперграфа СБИС» . Журнал экспериментальной алгоритмики ACM . 5 : 5–с. дои : 10.1145/351827.384247 . ISSN   1084-6654 . S2CID   2074760 .
  57. ^ Саураб Н. Адья; Игорь Львович Марков (2003). «Планировка с фиксированным контуром: возможность иерархического проектирования» . IEEE Транс. Очень крупномасштабная интеграция. Сист . 11 (6): 1120–1135. дои : 10.1109/TVLSI.2003.817546 .
  58. ^ Джаррод А. Рой; Игорь Львович Марков (2008). «Высокопроизводительная маршрутизация в нанометровом масштабе» . IEEE Транс. Вычислить. Помогал Десу. Интегр. цепей Сист . . 27 (6): 1066–1077. дои : 10.1109/ICCAD.2007.4397313 . S2CID   61607526 .
  59. ^ Марков Игорь Л.; Ван, Хэнсон; Кастури, Нитья С.; Сингх, Шон; Гаррард, Миа Р.; Хуан, Инь; Юэнь, Сзе Вай Селеста; Тран, Сара; Ван, Цзэхуэй; Глотов Игорь; Гупта, Танви; Чен, Пэн; Хуан, Бошуан; Се, Сяовэнь; Белкин, Михаил (14 августа 2022 г.). «Looper: комплексная платформа машинного обучения для принятия решений о продукте» . Материалы 28-й конференции ACM SIGKDD по обнаружению знаний и интеллектуальному анализу данных . КДД '22. Нью-Йорк, штат Нью-Йорк, США: Ассоциация вычислительной техники: 3513–3523. arXiv : 2110.07554 . дои : 10.1145/3534678.3539059 . ISBN  978-1-4503-9385-0 .
  60. ^ Looper: комплексная платформа машинного обучения для принятия продуктовых решений - Игорь Марков | Стэнфордский MLSys #60 .
  61. ^ «Профиль Игоря Маркова» . Кура . Проверено 8 октября 2023 г.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 9a102cff06bf9139a8ebd59998e23e60__1722774660
URL1:https://arc.ask3.ru/arc/aa/9a/60/9a102cff06bf9139a8ebd59998e23e60.html
Заголовок, (Title) документа по адресу, URL1:
Igor L. Markov - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)