Карем А. Сакаллах
Карем Сакаллах — американский инженер-электрик и специалист по информатике, профессор Мичиганского университета [1], известный своими работами по вычислительной логике , функциональной верификации , решателям SAT , теориям выполнимости по модулю и проблеме автоморфизма графов . [2] [3] В 1998 году он был повышен до звания члена IEEE . [4] В 2009 году он разделил награду CAV ( Computer Aided Verification ) с восемью другими лицами «за значительные достижения в создании высокопроизводительных решателей булевой выполнимости». [5] В 2012 году Сакаллах стал членом ACM «за алгоритмы для булевой выполнимости , которые продвинули современный уровень аппаратной верификации». [6] [7]
В 2014 году Сакаллах помог сформировать Катарский институт вычислительных исследований (QCRI) в Дохе и руководил развитием исследовательской области кибербезопасности. [8]
Ссылки
- ^ "Профессор Карем Сакллах". Кафедра EECS Мичиганского университета . Получено 30 июля 2023 г.
- ^ «Доклад Карема Сакаллаха: Более быстрое обнаружение симметрии с использованием разреженности симметрии». Microsoft Corp. 27 февраля 2009 г. Получено 30 июля 2023 г.
- ^ "Приглашенный исследователь: Карен Сакаллах". Simons Inst for the Theory of Computing . Получено 30 июля 2023 г.
- ^ "Справочник стипендиатов". IEEE . Получено 30 июля 2023 г. .
- ^ "CAV award". Международная конференция по компьютерной верификации . Получено 30 июля 2023 г.
- ^ «Получатели награды: Карем Сакалла» . АКМ . Проверено 30 июля 2023 г.
- ^ Список членов Ассоциации вычислительной техники
- ^ «Карем Сакаллах продолжает выполнять обязательства перед Qatar Computing Research Institute». Computer Science and Engineering School, University of Michigan. 3 февраля 2014 г. Получено 3 декабря 2015 г.
 | Эта статья об американском инженере-электрике — заглушка . Вы можете помочь Википедии, расширив ее. |
