Kevin Lano とは

Kevin C. Lano(1963年生まれ)は英国のコンピュータ科学者です。
Kevin LanoはReading大学で数学とコンピュータサイエンスの第1学位を取得し、ブリストル大学で博士号を取得しました。彼は正式なオブジェクト指向技術の創始者であり、多くの論文や書籍でUMLと形式的方法の組み合わせを開発しました。彼は、UML 2.0の定義に影響を与えたPrecise UMLグループの創設者の一人でした。 Lanoは、2005年にJava、UML、MDA(バタワース・ハイネマン、ISBN 0-7506-6496-7)によるAdvanced Systems Designの書籍を出版しました。また、2009年10月にWileyが出版したUML 2 Semantics and Applicationsの編集者です。コンピューターサイエンス本の数
ラノはオックスフォード大学コンピューティングラボラトリー(現オックスフォード大学コンピュータサイエンス学科)の元研究員でした。 King's College Londonの情報学科の読者です。

Augusto Sampaio とは

Augusto Cezar Alves Sampaioは、ブラジルのコンピュータ科学者であり、正式な方法と言語のセマンティクスを扱います。
ブラジル、ペルナンブコのレシフェのAugusto Sampaio。彼は、ペルナンブコ連邦大学(UFPE)のセントロ・デ・インフォマティカ(CIn)(1985年にはBSc、1988年には修士号を取得)を卒業しました。オックスフォード大学コンピューティングラボラトリー(1993年に修了)のTony Hoare教授の監督の下、PhDの研究に従事しました。 2016年7月、Sampaioは英国ヨーク大学でHonoris Causa博士号を取得しました。
Sampaioは、ペルナンブコ連邦大学の教授です。彼の主な貢献は、モデル変換と正式なモデルからのテストの自動生成の分野です。

Michael Spivey とは

Michael Spivey(一般にMike Spiveyとして知られています)は、オックスフォード大学の英国のコンピュータ科学者です。
Spiveyは1960年に生まれ、英国のヨークにあるHolgate大司教文学校で教育を受けました。彼はケンブリッジのキリスト大学で数学を学んだ後、オックスフォード大学コンピューティングラボラトリーの一部であるオックスフォードとプログラミング研究グループのWolfson CollegeのZ表記でコンピュータサイエンスのDPhilを受験しました。
Mike Spiveyは、オックスフォード大学コンピュータサイエンス学科Misysとアンダーソンコンピュータサイエンスフェロー(オックスフォード大学)のコンピューティングの大学講師です。研究関心の主な分野は、コンパイラとプログラミング言語、特にロジックプログラミングです。彼はOberon-2コンパイラを書いた。

Paritosh Pandya とは

Paritosh K. Pandyaは、インドのムンバイにあるTata Institute of Fundamental Research(TIFR)に勤務するインドのコンピュータ科学者です。
Paratosh Pandyaは、Maharaja Sayajirao大学Baroda(1980)、IIT Kanpur(1982)のコンピュータサイエンスのMTech学位、Bombay University / TIFR(1988)のコンピュータサイエンスのPhDを学びました。
1988年から、Paritosh PandyaはTIFRでアカデミックポストを開催しています。 1989〜91年に英国のオックスフォード大学コンピューティング研究所の研究員であり、TIFRから退去し、「Provably Correct Systems」のESPRIT ProCoSプロジェクトの一環としてJonathan Bowen、Jifeng He、Tony Hoareとの研究を行った"その後、彼はTIFRに戻り、彼は彼のキャリアの大部分を費やしています。 PandyaはTheoretical Computer Science Groupをリードしています。
Pandyaの主な研究関心は、リアルタイムシステムを含む正式な方法の分野です。彼は特に、DCVALIDモデル検査ツールを含むDuration Calculusに関する研究に携わってきました。彼の最も引用した論文、「リアルタイムシステムでの応答時間の発見」は、Google Scholarで900を超える引用があり、1986年にThe Computer Journalに掲載されたMathai Josephとの共同作業でした。
Paritosh Pandyaは、Springerによって出版されたコンピューティングのフォーマル・アスペクトの編集委員会のメンバーです。

John V. Tucker とは

John Vivian Tucker(1952年生まれ)は英国のコンピュータ科学者であり、再帰理論とも呼ばれる計算能力理論の専門家です。計算能力理論は、人と機械が計算できるものと計算できないものについてです。彼の研究は、すべての形式の離散/デジタルおよび連続/アナログデータを扱う古典理論の一般化に焦点を当ててきた。システム設計のための正式な方法として一般化を使用すること。アルゴリズムと物理的装置との間のインタフェース上にある。

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。
ムーアはロッククライミングを楽しんでいます。

Michael J. C. Gordon とは

Michael John Caldwell "Mike" Gordon FRS(1948年2月28日 – 8月22日2017年)は、英国のコンピュータ科学者の一人でした。
Mike GordonはHOL定理証明者の開発を率いた。 HOLシステムは、より高次の論理で対話定理を証明するための環境である。その最も顕著な特徴は、メタ言語MLによる高度なプログラム可能性です。このシステムには、純粋数学の形式化から産業用ハードウェアの検証まで、幅広い用途があります。
HOLシステム(TPHOLs)に関する一連の国際会議が開催されています。最初の3つは、公表されていない非公式のユーザー会議でした。今の伝統は、以前の会議の場所とは異なる大陸での年次会議のためです。 1996年からは、高次論理で証明されているすべての定理をカバーするために範囲が広がった。
ゴードンは、イギリスのヨークシャー州のリポンで生まれました。彼は彼の博士号を取得しました。 1973年にエジンバラ大学で「純粋なLISPプログラムの評価と表記」と題する論文を発表しました。彼は1981年以来ケンブリッジ大学コンピュータラボで、最初は講師として、1988年に読者に、1996年には教授に移行しました。1994年にロイヤルソサエティのフェローに選出され、2008年には2日間のツール彼の60歳の誕生日を記念して、システムインフラストラクチャの検証技術が開催されました。彼は短い病気の後でケンブリッジで亡くなり、妻と2人の息子によって生き残りました。

Yuri Gurevich とは

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

Tom Maibaum とは

Thomas Stephen Edward Maibaum FRSA(1947年8月18日、ハンガリー生まれ)はコンピュータ科学者です。
Tom Maibaumは、トロント大学(カナダ)(1970年)の純粋数学の学士号と、ロンドンの英国大学(1974年)のQueen MaryとRoyal Holloway Collegesのコンピュータサイエンスの博士号を取得しています。
MaibaumはImperial College、London、King's College London(英国)、McMaster University(カナダ)で学術論文を執筆しています。彼の研究関心は、ソフトウェア工学の一般的な分野で、さまざまな状況での仕様の適用とその適用に集中しています。
Maibaumは、工学と技術の研究所とRoyal Society of Artsのフェローです。