Chris MN Tofts (nacido en 1964) es un informático inglés .xx [1]
Educación
Chris Tofts estudió matemáticas como licenciado en Clare College, Cambridge , seguido de un Diploma en Ciencias de la Computación de la misma universidad. Luego realizó un doctorado supervisado por Robin Milner en el Laboratorio de Fundamentos de Ciencias de la Computación de la Universidad de Edimburgo , Escocia .
Carrera profesional
La investigación de posdoctorado de Tofts vio algunas de las primeras aplicaciones del álgebra de procesos al estudio del comportamiento de los animales y los procesos de las 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 Director de Matemáticas de Concinnitas Ltd [3] antes de regresar a HP.
Chris Tofts es profesor invitado de Ciencias de la Computación en la Universidad de Swansea. Es miembro de la British Computer Society y miembro del Instituto de Matemáticas y sus Aplicaciones , así como ex presidente de BCTCS . [4]
Libros
Referencias
- ^ a b Chris Tofts , LinkedIn .
- ^ Chris Tofts , Scientific Commons .
- ^ Sitio web de Concinnitas Ltd Archivado el 27 de julio de 2009 en Wayback Machine .
- ^ Coloquio británico para el sitio web de la informática teórica .