クリス・トフトス

クリス・M・N・トフトス（1964年生まれ）はイギリスのコンピュータ科学者である。^[1]

クリス・トフトスは、ケンブリッジ大学クレア・カレッジで学部生として数学を学び、その後、同カレッジでコンピュータサイエンスのディプロマを取得しました。その後、スコットランドのエディンバラ大学コンピュータサイエンス基礎研究所でロビン・ミルナーの指導のもと、博士号を取得しました。

トフトの博士研究員時代の研究では、プロセス代数が動物の行動や病気の過程の研究に初めて応用され、シミュレーションモデルの正確性に興味を持つようになった。 ^[2]

トフトスはスウォンジー大学（1992-94年）、マンチェスター大学（1994-96年）、リーズ大学 （1996-99年）で講師を務めた。^{[1] 1999年から2008年まで、英国の}ヒューレット・パッカード（HP）研究所の科学者であった。2008年から2011年まで、HPに戻る前は、コンシニタス社^[3]の最高数学責任者を務めた。

クリス・トフトスはスウォンジー大学のコンピュータサイエンスの客員教授です。彼は英国コンピュータ学会のフェローであり、 数学とその応用研究所のフェローでもあり、 BCTCSの元会長でもあります。^[4]

• Chris Tofts、『並行性、複雑性、パフォーマンス』、 Springer 、 2007年。ISBN 0-387-95438-4 。

• クリス・トフトス — 出版物と特許