Jim Woodcock
Jim Woodcock | |
|---|---|
| Nacido | (1956-06-07) 7 de junio de 1956 |
| Nacionalidad | británico |
| Alma máter | Universidad de Liverpool |
| Conocido por | CSP , UTP , notación Z |
| Carrera científica | |
| Campos | Ciencias de la computación , métodos formales |
| Instituciones | Universidad de Oxford Universidad de Kent Universidad de York |
| Sitio web | www.cs.york.ac.uk/people/jim |
James Charles Paul Woodcock FREng FBCS CEng CITP es un científico informático británico .
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 del Kellogg College . [1] Luego se unió a la Universidad de Kent y ahora tiene su base 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 fuerte , Gran Desafío en la evolución de sistemas confiables , teorías unificadoras de programación , especificación formal , refinamiento , concurrencia , sistemas ricos en estados, 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 , ayudando a obtener un Premio de la Reina por Logros Tecnológicos , [4] y Mondex , ayudando a obtener el nivel de clasificación ITSEC más alto . [5]
El profesor Woodcock es editor jefe de la revista Formal Aspects of Computing . [6]
Libros
- Jim Woodcock y Jim Davies , Uso de 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, Matemáticas de ingeniería de software: 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 , Uso de Z: especificación, refinamiento y demostración . Serie internacional Prentice-Hall en informática, 1996. ISBN 978-0-13-948472-8
- ^ Premio de la Reina al Logro Tecnológico 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 al nivel E6 de ITSEC, 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 oficial
- Página de inicio personal
- Perfil de investigación
- Publicaciones de Jim Woodcock indexadas por Google Scholar
- Jim Woodcock en el servidor de bibliografía DBLP
 | Este artículo sobre un especialista en informática del Reino Unido es un esbozo . Puedes ayudar a Wikipedia expandiéndolo. |
