Крис Тофтс
Крис М. Н. Тофтс (род. 1964) — английский учёный-компьютерщик . [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 .
Ссылки
[ редактировать ]Внешние ссылки
[ редактировать ]
- 1964 года рождения
- Живые люди
- Выпускники Клэр-колледжа, Кембридж
- Выпускники Эдинбургского университета
- Академики Университета Суонси
- Академики Манчестерского университета
- Академики Университета Лидса
- Сотрудники Хьюлетт-Паккард
- английские ученые-компьютерщики
- Английские научные писатели
- Формальные методы люди
- Члены Британского компьютерного общества
- Сотрудники Института математики и ее приложений