ダニエル・クローニング

ダニエル・クローニング（1975年11月6日生まれ^[1]）はドイツのコンピュータ科学者であり、オックスフォード大学のコンピュータサイエンスの教授であり、共同設立者であるDiffblue Ltd.の最高科学責任者である。 ^[2]彼はマグダレン・カレッジのフェローである。

クローニングはドイツのラインラント＝プファルツ州マインツで生まれました。1986年から1990年までバイエルン州エアランゲンのマリー・テレーズ・ギムナジウムに通い、1990年から1995年までザールラント州ザールブリュッケンのローテンビュール・ギムナジウムに通いました。 ^[1]高校時代のクローニングの初期の仕事には、データ転送プロトコルの実装^[3]や、小規模ISP向けのインターネットアクセス管理機能を備えた電子掲示板システム（BBS）ソフトウェアパッケージがあり、これらはフリー/オープンソースライセンスでリリースされました。^{[4] [5]} 1992年、クローニングは地元の非営利ISPであるHandshake eVに加わりました。^[3] 1993年から、彼はHandshakeのメインBBSシステムをホストおよび運用し、1994年末までには彼のソフトウェアが稼働していました。^[6] 1996年以降、彼はHandshakeの経営にも携わりました。^[1]高校卒業後、クローニングは義務的な社会奉仕活動を完了した。

1996年冬学期、クローニングはザールラント大学でコンピュータサイエンスと経済学を学び始めました。^[1]彼は1999年に卒業証書を、2001年に博士号を取得しました。 ^[2]彼は学部史上最速の学生の一人で、1年生から博士号取得までわずか4年半しかかかりませんでした。^[1]

クローニングは博士号を取得した後、カーネギーメロン大学でポスドクとして働き、その後ETHチューリッヒの助教授に就任した。^[7] 最終的にオックスフォード大学に落ち着いた。

クローニングの研究はプログラムとハードウェアの分析に重点を置いています。^[8]

彼は意思決定手順とハードウェア設計に関する教科書を出版した。^[8]

クローニングの専門的な活動には、主要なプログラム分析会議CAVの委員を務めることが含まれます。^[8]

クローニングは専門分野で、インテル、IBM、富士通などの企業のコンサルタントを務めました。^{[7] 2016年に、}人工知能を使用してコードを書く開発者ツール会社であるDiffblue Ltd ^[9]を共同設立しました。^{[10] [11]現在、彼は}Diffblueの最高科学責任者を務めています。^[12]

• Hasanbeig, M.、Jeppu, NY、Abate, A.、Melham, T.、Kroening, D.、「Deepsynth: 深層強化学習における自動タスクセグメンテーションのためのオートマトン合成」。AAAI 2020、第35巻、第9号、7647-7656ページ。
• Vijay D'Silva、Leopold Haller、Daniel Kroening: 抽象的な対立主導型学習。POPL 2013: 143-154。
• 形式ソフトウェア検証のための自動化技術の調査、D'Silva, Vijay、Kroening, Daniel、Weissenbacher, Georg、IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)、第 27 巻、第 7 号、1165 ～ 1178 ページ。2008 年 7 月。
• 意思決定手順 - アルゴリズムの観点から、クローニング、ダニエル、ストリッヒマン、オファー、シュプリンガー。2008 年。
• 無制限のスレッド作成によるブールプログラムの検証、Cook, Byron、Kroening, Daniel、Sharygina, Natasha、「理論計算機科学 (TCS)」第 388 巻、227〜242 ページ。2007 年。

• プライベートホームページ（古くて時代遅れ）
• 個人研究ホームページ
• 大学ホームページ
• 数学系譜プロジェクトのダニエル・クローニング