Chrisa Toftsa
Chris MN Tofts (ur. 1964) to angielski informatyk .
Edukacja
Chris Tofts studiował matematykę jako student w Clare College w Cambridge , a następnie uzyskał dyplom z informatyki na tej samej uczelni. Następnie zrobił doktorat pod kierunkiem Robina Milnera w Laboratorium Podstaw Informatyki na Uniwersytecie w Edynburgu w Szkocji .
Kariera
Badania habilitacyjne Toftsa przyniosły jedne z pierwszych zastosowań algebry procesów do badania zachowania zwierząt i procesów chorobowych, co doprowadziło do jego zainteresowania poprawnością modeli symulacyjnych.
Tofts prowadził wykłady na Uniwersytecie Swansea (1992–94), Uniwersytecie w Manchesterze (1994–96) i Uniwersytecie w Leeds (1996–99). W latach 1999-2008 był naukowcem w Hewlett-Packard (HP) Research Laboratories w Wielkiej Brytanii. W latach 2008-2011 był dyrektorem ds. matematyki w Concinnitas Ltd, zanim wrócił do HP.
Chris Tofts jest profesorem wizytującym informatyki na Uniwersytecie Swansea. Jest członkiem Brytyjskiego Towarzystwa Komputerowego i Instytutu Matematyki i jej Zastosowań , a także byłym prezesem BCTCS .
Książki
- Chris Tofts, Współbieżność, złożoność i wydajność , Springer , 2007. ISBN 0-387-95438-4 .
Linki zewnętrzne
- 1964 urodzeń
- Pracownicy naukowi Uniwersytetu Swansea
- Pracownicy naukowi Uniwersytetu w Leeds
- Pracownicy naukowi Uniwersytetu w Manchesterze
- Absolwenci Clare College w Cambridge
- Absolwenci Uniwersytetu w Edynburgu
- angielscy informatycy
- angielscy pisarze naukowi
- Stypendyści Brytyjskiego Towarzystwa Komputerowego
- Stypendyści Instytutu Matematyki i jej Zastosowań
- Formalne metody ludzi
- Ludzie Hewlett-Packard
- Żywi ludzie