Карем А. Сакалла
Карем Сакалла — американский инженер-электрик и ученый-компьютерщик, профессор Мичиганского университета. [1] известен своими работами по вычислительной логике , функциональной верификации , решателям SAT , теориям выполнимости по модулю и проблеме автоморфизма графов . [2] [3] В 1998 году ему было присвоено звание члена IEEE . [4] В 2009 году он разделил награду CAV ( Компьютерная проверка ) с восемью другими людьми «за значительные достижения в создании высокопроизводительных решателей булевой выполнимости». [5] В 2012 году Сакалла стал научным сотрудником ACM «за алгоритмы логической выполнимости , которые усовершенствовали современные средства проверки оборудования». [6] [7]
В 2014 году Сакалла помог сформировать развитие Катарского научно-исследовательского института вычислительной техники (QCRI) в Дохе и курировал развитие направления исследований в области кибербезопасности. [8]
Ссылки
[ редактировать ]- ^ «Профессор Карем Сакла» . Мичиганского университета Департамент EECS . Проверено 30 июля 2023 г.
- ^ «Выступление Карема Сакаллы: более быстрое обнаружение симметрии с использованием разреженности симметрий» . Корпорация Microsoft, 27 февраля 2009 г. Проверено 30 июля 2023 г.
- ^ «Приглашенный исследователь: Карен Сакалла» . Саймонсский институт теории вычислений . Проверено 30 июля 2023 г.
- ^ «Каталог стипендиатов» . ИИЭЭ . Проверено 30 июля 2023 г.
- ^ «Премия КАВ» . Международная конференция по компьютерному контролю . Проверено 30 июля 2023 г.
- ^ «Лауреаты премии: Карем Сакалла» . АКМ . Проверено 30 июля 2023 г.
- ^ Список членов Ассоциации вычислительной техники
- ^ «Карем Сакалла продолжает сотрудничать с Катарским научно-исследовательским институтом вычислительной техники» . Школа компьютерных наук и инженерии Мичиганского университета. 3 февраля 2014 года . Проверено 3 декабря 2015 г.
 | Эта статья об американском инженере-электрике незавершена . Вы можете помочь Википедии, расширив ее . |
- Живые люди
- Американские инженеры-электрики
- Американские ученые-компьютерщики
- Члены IEEE
- Члены Ассоциации вычислительной техники 2012 г.
- Факультет Мичиганского университета
- Выпускники Университета Карнеги-Меллон
- Незавершенные статьи об американских инженерах-электриках
- Незавершённые статьи по компьютерным наукам