Loading article…
カレム・サカラーはアメリカの電気技師、コンピュータ科学者で、ミシガン大学教授です。[1]計算論理、機能検証、SAT ソルバー、充足可能性法理論、グラフ自己同型問題に関する研究で知られています。[2] [3] 1998 年にIEEE フェローに昇格しました。[4] 2009 年には、高性能ブール充足可能性ソルバーの作成における大きな進歩により、他の 8 名と共に CAV ( Computer Aided Verification ) 賞を受賞しました。 [5] 2012 年には、ブール充足可能性アルゴリズムによりハードウェア検証の最先端技術が進歩し、ACM フェローに就任しました。 [6] [7]
2014年、サカラー氏はドーハのカタールコンピューティング研究所（QCRI）の発展に貢献し、サイバーセキュリティ研究分野の成長を監督した。[8]
参考文献
- ^ 「カレム・サクラ教授」ミシガン大学電気通信学部。 2023年7月30日閲覧。
- ^ 「Karem Sakallah による講演: 対称性のスパース性を使用した対称性の高速検出」。Microsoft Corp. 2009 年 2 月 27 日。2023年7 月 30 日閲覧。
- ^ 「客員研究員：カレン・サカラー」。シモンズ計算理論研究所。 2023年7月30日閲覧。
- ^ 「フェローディレクトリ」. IEEE . 2023年7月30日閲覧。
- ^ 「CAV award」。国際コンピュータ支援検証会議。2023年7月30日閲覧。
- ^ “受賞者: カレム・サカラ”. ACM 。2023 年7 月 30 日に取得。
- ^ 計算機協会フェロー一覧
- ^ 「Karem Sakallah 氏、カタール コンピューティング研究所への関与を継続」 ミシガン大学コンピューターサイエンスおよびエンジニアリング スクール。2014 年 2 月 3 日。2015年12 月 3 日閲覧。