Osman Yaşar とは

OsmanYaşar(「jɑʃɑpron」と発音)は、Brockportのニューヨーク州立大学(SUNY)大学のComputational Science(CPS)部門のEmpire Innovation教授です。彼は3つの修士号(物理、原子力工学、コンピュータサイエンス)と博士号を取得しています。学位(エンジニアリング物理学)。関心のある分野は、スーパーコンピューティングアプリケーション、計算流体と粒子ダイナミクス、エンジン燃焼モデリング、並列コンピューティング、プラズマと放射線の流体力学、適応メッシュの洗練です。彼は米国で計算科学の最初の学部プログラムを確立しました。また、K-12レベルでの数学、科学技術(C-MST)の計算法を教育学として確立しました。 Yaşar博士は、米議会の前で、数学と理科教育の改善努力について証言しました。
彼はGeneral Motors、Chrysler、Cummins Engine、Intel、Lockheed Martinなどの業界と緊密に協力しています。彼はIntelスーパーコンピュータユーザーグループの社長を務めました。彼は科学、工学、教育の分野で重要な貢献をしました。プラズマ物理学者として、より正確なモデルを用いて燃焼(機械工学)コミュニティの点火の分野に取り組み、コンピュータ科学者としてスーパーコンピュータの粒子および流体システムの記録的なシミュレーションを実行するアルゴリズムを開発しました。 Yaşar博士は70以上の出版物を持ち、12以上の産業コードを開発し、彼の分野における多くの特別号のゲストエディターを務めました。

George Michael (computational physicist) とは

George A. Michael(1926年2月16日 – 2008年6月5日)は、スーパーコンピューティングの開発における彼の役割で最もよく知られているLawrence Livermore Laboratoriesの計算物理学者でした。彼は1988年に初めて開催されたACM / IEEEスーパーコンピューティング会議の創設者の一人でした。ジョージ・マイケル・メモリアル・フェローシップが彼の名誉として設立されました。

Joseph M. Hellerstein とは

Joseph M. Hellerstein(1968年6月7日生まれ、1968年6月7日)は、カリフォルニア大学バークレー校のコンピュータサイエンス教授で、データベースシステムやコンピュータネットワークに携わっています。彼は2012年にJeffrey HeerとSean Kandelと共にTrifactaを共同設立しました。彼らの研究プロジェクトであるWranglerが原因です。

Héctor García-Molina とは

HéctorGarcía-Molina(1954年生まれ)は、メキシコ/アメリカのコンピュータ科学者であり、スタンフォード大学のコンピュータサイエンスと電気工学科の教授です。 1993年から1997年までスタンフォード大学のコンピューターサイエンスの学生であったとき、彼はGoogleの共同設立者Sergey Brinの顧問でした。

J Strother Moore とは

J Strother Moore(彼の名はアルファベットの「J」であり、略語「J」ではない)はコンピュータ科学者であり、Boyer-Mooreの文字列検索アルゴリズムBoyer-Moore多数決アルゴリズムの共同開発者である、Boyer-Mooreの自動定理証明者Nqthmなどがあります。彼は、ピーステーブルのデータ構造と初期の論理プログラミングを含む構造共有への先駆的な貢献をしました。 Boyer-Mooreの文字列検索アルゴリズムの動作の例は、MooreのWebサイトにあります。ムーア氏は、1970年にマサチューセッツ工科大学で数学のSBを、1973年にスコットランドのエジンバラ大学で計算論の博士号を取得しました。
さらに、MooreはACL2自動定理証明者の共著者でもあります。彼と他の人はACL2を使って、Pentium FDIVバグの後にAMD K5マイクロプロセッサの浮動小数点除算演算の正確性を証明しました。
自動控除に貢献したMoore氏は、Robert S. Boyerとの1999 Herbrand Awardを受賞し、2006年にはComputing Machinery Associationのフェローとして就任しました。ムーアは2007年に全米工学アカデミーに選出され、AAAIのフェローです。彼は2015年にエジンバラ王立協会の相応のフェローに選出されました。
彼は現在、B.R. Admiralです。テキサス大学オースティン校のコンピューティング理論のInman Centennial Chair、2001-2009年コンピュータサイエンス学科長。
コンピュータサイエンス学科に椅子として参加する前に、オースティンのテキサス大学の親友、Robert Robert Reedの著名な教授の一人を含むComputational Logic Inc.を設立しましたS. Boyer。
ムーアはロッククライミングを楽しんでいます。

Vladimir Lifschitz とは

Vladimir Lifschitzは、オースティンのテキサス大学でコンピューター科学のGottesman Family Centennial教授です。彼は1971年にロシアのSteklov数学研究所で数学を学び、1976年に米国に移住しました。Lifschitzの研究分野は、計算ロジックと知識表現の分野です。彼は、人工知能の発展のための協会のフェロー、計算論理のACMトランザクションの編集長、論理学の理論と実務の編集顧問を務めています。
彼はMichael Gelfondと共同で、論理プログラムの安定したモデルセマンティクスを定義しました。これは、後で新しい宣言型プログラミングパラダイムであるAnswer Set Programmingの理論上の基礎となりました。

David Luenberger とは

David Gilbert Luenberger(1937年9月16日生まれ)は、数学の科学者であり、数学の最適化を中心とした彼の研究と教科書で知られています。スタンフォード大学経営科学工学科教授。

Yuri Gurevich とは

ユリGurevichは、アメリカのコンピュータ科学者であり、数学者であり、抽象状態機械の発明者です。マイクロソフト・リサーチのプリンシパル・リサーチャーでソフトウェア・エンジニアリング・グループの基盤を築き、ミシガン大学の名誉教授です。
Gurevichはソ連で教育され、米国に来る前にイスラエルで教えられました。彼のソビエト時代の最もよく知られた仕事は、古典的な決定問題です。イスラエルでは、GurevichはSaharon Shelahと共同して二次的なモナディック理論を研究しました。忘れられない決定Gurevich-Harringtonの定理も同様の期間である。彼のアメリカの期間については、Gurevichは有限モデル理論と抽象状態機械理論の研究で最もよく知られています。彼は平均的な複雑さの理論にも貢献しています。
GurevichはACMフェロー、グッゲンハイムフェロー、Academia Europaeaのメンバー、ベルギーハッセルト大学のHonoris Causa博士、ロシアのウラル州立大学である。 2014年には、理論計算機科学のための欧州連合(European Association for Theoretical Computer Science)の10人の創立者の一人となりました。

Rajeev Alur とは

Rajeev Alurは、米国ペンシルバニア大学のコンピュータおよび情報科学部のZisman家族教授です。
1987年にインドのカーンプルでインド工科大学でコンピューターサイエンスの学士号を取得し、1991年に米国カリフォルニア州スタンフォード大学でコンピューターサイエンスの博士号を取得しました。1997年にペンシルベニア大学に入社する前、ベル研究所のコンピューティングサイエンス研究センター。 Alurの研究は、リアクティブ・システム、ハイブリッド・システム、モデル検査、ソフトウェア検証、組込みソフトウェアの設計自動化の正式なモデリングと分析に及んでいます。彼の貢献には、時間のかかるオートマトンや、ネストされた単語や木の言語に基づく時間的な仕様が含まれます。彼はACMのフェローであり、IEEEのフェローであり、最近はACM SIGBED(組み込みシステムに関する特別関与グループ)の議長を務めた。

Lior Pachter とは

Lior Pachterはコンピュータ生物学者です。彼はカリフォルニア工科大学でコンピュータ生物学のブレン教授を務めています。彼は、ゲノミクス、コンビナトリアル、計算幾何学、機械学習、科学計算、統計など、幅広い研究分野を持っています。
Pachterはイスラエル共和国で生まれ、南アフリカで育った。彼は1994年にカリフォルニア工科大学で数学の学士号を取得しました。1999年にマサチューセッツ工科大学のボニー・バーガー監修でEric LanderとDaniel Kleitmanが共同顧問として数学博士号を取得しました。彼は1999年にUCバークレー教員に加わり、2012年にSackler Chairを与えられました。
彼の技術的貢献だけでなく、Pachterはオープン・サイエンスを促進するために新しいメディアを使用し、彼が「完璧な人間」への最も近い隣人はプエルトリコからのものであるという彼のブログに投稿した思考実験で知られています。これはかなりのメディアの注目を集め、Scientific Americanで回答が発表されました。
2017年、パーチェは国際コンピュータ生物学会(ISCB)のフェローに選出されました。