Chris Tofts
Chris MN Tofts (född 1964) är en engelsk datavetare .
Utbildning
Chris Tofts studerade matematik som grundexamen vid Clare College, Cambridge , följt av ett diplom i datavetenskap från samma college. Han fortsatte med att doktorera under ledning av Robin Milner vid Laboratory for Foundations of Computer Science vid University of Edinburgh , Skottland .
Karriär
Tofts postdoktorala forskning såg några av de första tillämpningarna av processalgebra för studier av djurs beteende och sjukdomsprocesser, vilket ledde till hans intresse för simuleringsmodellernas korrekthet.
Tofts höll lektorat vid Swansea University (1992–94), University of Manchester (1994–96) och University of Leeds (1996–99). Från 1999 till 2008 var han vetenskapsman vid Hewlett-Packard (HP) Research Laboratories i Storbritannien. Från 2008 till 2011 var han Chief Mathematics Officer för Concinnitas Ltd innan han återvände till HP.
Chris Tofts är gästprofessor i datavetenskap vid Swansea University. Han är stipendiat i British Computer Society och stipendiat vid Institute of Mathematics and its Applications, samt tidigare ordförande för BCTCS .
Böcker
- Chris Tofts, Concurrency, Complexity and Performance , Springer , 2007. ISBN 0-387-95438-4 .
externa länkar
- 1964 födslar
- Akademiker vid Swansea University
- Akademiker vid University of Leeds
- Akademiker vid University of Manchester
- Alumner från Clare College, Cambridge
- Alumner från University of Edinburgh
- Engelska datavetare
- engelska vetenskapsförfattare
- Fellows av British Computer Society
- Fellows vid Institutet för matematik och dess tillämpningar
- Formella metoder människor
- Hewlett-Packard människor
- Levande människor