Крис Тофтс - Chris Tofts

Крис М. Н. Тофтс (1964 г.р.) - англичанин специалист в области информатики.xx [1]

Образование

Крис Тофтс учился математика как студент Клэр-колледж, Кембридж, за которым следует диплом по информатике того же колледжа. Затем он защитил докторскую диссертацию под руководством Робин Милнер в Лаборатория основ информатики на Эдинбургский университет, Шотландия.

Карьера

В ходе постдокторского исследования Тофтса были впервые применены алгебра процессов к изучению поведения животных и процессов болезни, что привело его к интересу к правильности имитационных моделей.[2]

Тофтс читал лекции в Суонси университет (1992–94), Манчестерский университет (1994–96), а Университет Лидса (1996–99).[1] С 1999 по 2008 гг. Был ученым в Hewlett Packard (HP) Исследовательские лаборатории в Великобритании. С 2008 по 2011 год он был директором по математике Concinnitas Ltd.[3] прежде чем вернуться в HP.

Крис Тофтс - приглашенный профессор компьютерных наук в Университете Суонси. Он член Британское компьютерное общество и сотрудник Институт математики и ее приложений, а также бывший президент BCTCS.[4]

Книги

  • Крис Тофтс, Параллелизм, сложность и производительность, Springer, 2007. ISBN  0-387-95438-4.

Рекомендации

  1. ^ а б Крис Тофтс, LinkedIn.
  2. ^ Крис Тофтс, Scientific Commons.
  3. ^ Сайт Concinnitas Ltd В архиве 27 июля 2009 г. Wayback Machine.
  4. ^ Веб-сайт Британского коллоквиума теоретической информатики.

внешняя ссылка