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