Chris Tofts

Chris MN Tofts (nacido en 1964) fue un científico informático inglés . ^{[ 1 ]}

Chris Tofts estudió matemáticas durante su licenciatura en Clare College, Cambridge , y posteriormente obtuvo un diploma en informática en la misma institución. A continuación, realizó un doctorado bajo la supervisión de Robin Milner en el Laboratorio de Fundamentos de la Informática de la Universidad de Edimburgo , Escocia .

La investigación postdoctoral de Tofts vio algunas de las primeras aplicaciones del álgebra de procesos al estudio del comportamiento de los animales y los procesos de enfermedades, lo que llevó a su interés en la corrección de los modelos de simulación. ^{[ 2 ]}

Tofts fue profesor en la Universidad de Swansea (1992-1994), la Universidad de Manchester (1994-1996) y la Universidad de Leeds (1996-1999). ^{[ 1 ]} De 1999 a 2008 fue científico en los Laboratorios de Investigación de Hewlett-Packard (HP) en el Reino Unido. De 2008 a 2011 fue el Director de Matemáticas de Concinnitas Ltd ^{[ 3 ]} antes de regresar a HP.

Chris Tofts fue profesor visitante de Informática en la Universidad de Swansea. Fue miembro de la British Computer Society y del Institute of Mathematics and its Applications , además de haber sido presidente del BCTCS . ^{[ 4 ]}

• Chris Tofts, Concurrencia, complejidad y rendimiento , Springer , 2007. ISBN 0-387-95438-4.

• Chris Tofts — Publicaciones y Patentes