El profesor James Charles Paul Woodcock FREng FBCS CEng CITP es un informático británico .
Jim Woodcock | |
---|---|
Nació | 7 de junio de 1956 |
Nacionalidad | británico |
alma mater | Universidad de Liverpool |
Conocido por | CSP , UTP , notación Z |
Carrera científica | |
Campos | Informática , métodos formales |
Instituciones | Universidad de Oxford Universidad de Kent Universidad de York |
Influencias | Tony Hoare |
Influenciado | Jim Davies |
Sitio web | www.cs.york.ac.uk/people/jim |
Woodcock obtuvo su doctorado en la Universidad de Liverpool . Hasta 2001 fue profesor de Ingeniería de Software en el Laboratorio de Computación de la Universidad de Oxford , donde también fue miembro de Kellogg College . [1] Luego se unió a la Universidad de Kent y ahora tiene su sede en la Universidad de York , [2] donde, desde octubre de 2012, ha sido jefe del Departamento de Ciencias de la Computación.
Sus intereses de investigación incluyen: ingeniería de software sólida , gran desafío en la evolución de sistemas confiables , teorías unificadoras de programación , especificación formal , refinamiento , concurrencia , sistemas ricos en estado, procesos móviles y reconfigurables , nanotecnología , gran desafío en el dominio ferroviario. Tiene experiencia en métodos formales , especialmente la notación Z [3] y CSP .
Woodcock trabajó en la aplicación de la notación Z al proyecto IBM CICS , lo que ayudó a obtener un premio Queen's Award por logros tecnológicos , [4] y Mondex , que ayudó a obtener el nivel más alto de clasificación ITSEC . [5]
El profesor Woodcock es editor en jefe de la revista Formal Aspects of Computing . [6]
Libros
- Jim Woodcock y Jim Davies , Usando Z: Especificación, Refinamiento y Prueba . Prentice-Hall International Series in Computer Science, 1996. ISBN 978-0-13-948472-8 .
- Jim Woodcock y Martin Loomes, Ingeniería de software Matemáticas: métodos formales desmitificados . Edición Kindle, Taylor & Francis , 2007.
Referencias
- ^ Página de inicio de Jim Woodcock , Laboratorio de Computación de la Universidad de Oxford .
- ^ Página de inicio oficial , Universidad de York , Reino Unido.
- ^ Jim Woodcock y Jim Davies , usando Z: especificación, refinamiento y prueba . Serie Internacional de Prentice-Hall en Ciencias de la Computación, 1996. ISBN 978-0-13-948472-8
- ^ Premio de la Reina por Logros Tecnológicos 1992 Archivado el 2 de diciembre de 2008 en Wayback Machine , Laboratorio de Computación de la Universidad de Oxford , Reino Unido.
- ^ Jim Woodcock, Susan Stepney, David Cooper, John Clark y Jeremy Jacob, La certificación del monedero electrónico Mondex a ITSEC Nivel E6 , Aspectos formales de la informática , Volumen 20, Número 1, páginas 5-19, enero de 2008.
- ^ "Editores" . Aspectos formales de la informática . Springer . Consultado el 23 de febrero de 2019 .
enlaces externos
- Página de inicio oficial
- Página personal
- Perfil de investigación
- Publicaciones de Jim Woodcock indexadas por Google Scholar
- Jim Woodcock en el servidor de bibliografía DBLP