Steve Schneider (científico informático)


Prof. Steve Schneider FBCS , CITP es un informático inglés y profesor de seguridad . [2] Es Director del Centro de Seguridad Cibernética de Surrey y Decano Asociado (Investigación y Empresa) en la Universidad de Surrey . [3]

Steve Schneider estudió en la Universidad de Oxford , uniéndose al Laboratorio de Computación de la Universidad de Oxford (ahora el Departamento de Ciencias de la Computación de la Universidad de Oxford ) para estudiar un Doctorado en CSP , que fue otorgado en 1989, supervisado por Mike Reed . [1] [4] Se incorporó a Royal Holloway, Universidad de Londres como profesor en 1994, convirtiéndose en profesor titular en 1999 y profesor en 2002. Se trasladó a la Universidad de Surrey en 2004 y fue jefe del Departamento de Informática. Ciencia desde 2004 hasta 2010. [3]

Schneider es un experto en métodos formales , incluida la comunicación de procesos secuenciales (CSP) y el método B , y seguridad informática . [2]