Индийско-американский учёный-компьютерщик
Шарад Малик — индийско-американский компьютерный ученый, работающий в области формальных методов , автоматизации электронного проектирования и компьютерной архитектуры . В настоящее время он является профессором инженерии имени Джорджа Ван Несса Лотропа на кафедре электротехники и вычислительной техники Принстонского университета .
Ранняя жизнь и образование
Малик получил степень бакалавра технических наук по электротехнике в Индийском технологическом институте Дели в 1985 году, а также степени магистра и доктора наук по компьютерным наукам в Калифорнийском университете в Беркли в 1987 и 1990 годах. Его научным руководителем по докторской диссертации был Роберт К. Брайтон. [1]
Вклады
Малик наиболее известен своим вкладом в быстрые решатели для решения булевой выполнимости (SAT). Решатель Chaff , созданный им и его учениками, открыл новую эру для решателей булевой выполнимости , основанных на обучении на основе конфликта . [2] Он также был пионером в области абстракции уровня инструкций (ILA) для проверки оборудования. [3]
Награды
- Член ACM , 2014 [4]
- Член IEEE , 2002 [5]
- Премия CAV, конференция Computer Aided Verification , «за фундаментальный вклад в разработку высокопроизводительных решателей булевой выполнимости», 2009. [6]
- Международная конференция IEEE/ACM по автоматизированному проектированию , Десятилетняя ретроспектива Премия за самую влиятельную работу, 2011 г.
- Премия за самую цитируемую статью в честь 50-летия конференции IEEE/ACM Design Automation , 2013 г. [7]
- Премия президента Принстонского университета за выдающиеся достижения в преподавании, 2009 г. [8]
- Премия IEEE CEDA A. Richard Newton за технический вклад в автоматизацию проектирования электроники, 2017 г. [9]
Услуга
Малик входил в состав редколлегий таких журналов, как IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on VLSI Systems, ACM Transactions on Design Automation of Electronic Systems, Formal Methods in System Design и Journal of VLSI Signal Processing. Он также занимал должность заведующего кафедрой ECE Принстонского университета с 2012 по 2021 год. [10]
Ссылки
- ^ "Шарад Малик | Электротехника и вычислительная техника". Сайт ECE Принстонского университета . Получено 22 июля 2023 г.
- ^ Москевич, М. В.; Мэдиган, К. Ф.; Чжао, И.; Чжан, Л.; Малик, С. (2001). «Чафф: Разработка эффективного решателя SAT». Конференция по автоматизации проектирования .
- ^ Хуан, Б.-Й.; Чжан, Х.; Субраманьян, П.; Визель, И.; Малик, С. (21 декабря 2018 г.). «Абстракция на уровне инструкций (ILA): Единая спецификация для верификации систем на кристалле (SoC)». Труды ACM по автоматизации проектирования электронных систем . 24 (1): 1. Получено 22 июля 2023 г.
- ^ "Шарад Малик". ACM Awards . Association for Computing Machinery . Получено 22 июля 2023 г.
- ^ "Шарад Малик --- Профиль автора IEEE Xplore". IEEE Xplore . IEEE . Получено 22 июля 2023 г. .
- ^ "CAV Awards". i-cav.org . Получено 22 июля 2023 г. .
- ^ "50th DAC > Banquet". Веб-сайт DAC 2013. Конференция по автоматизации проектирования ACM/IEEE . Получено 22 июля 2023 г.
- ^ "Четыре преподавателя отмечены за выдающееся преподавание". Принстонский университет . Получено 22 июля 2023 г.
- ^ "A. Richard Newton Technical Impact Award in Electronic Design Automation". Совет IEEE по автоматизации электронного проектирования . IEEE . Получено 22 июля 2023 г.
- ^ "Sharad Malik --- CV" (PDF) . Princeton University ECE Department . Получено 22 июля 2023 г. .
