Alter | 70 Jahre |
Beruf | Informatiker, Ingenieur, Professor |
Geburtsdatum | Donnerstag, 07. Juni 1956 |
Sternzeichen | |
Beschreibung | Professor James Charles Paul Woodcock FREng FBCS CEng CITP ist ein britischer Informatiker. Woodcock erlangte seinen Doktortitel von der University of Liverpool. Bis 2001 war er Professor für Software Engineering am Oxford University Computing Laboratory, wo er auch Fellow des Kellogg College war. Anschließend trat er der University of Kent bei und ist nun an der University of York tätig, wo er seit Oktober 2012 den Lehrstuhl für Informatik innehat. Seine Forschungsinteressen umfassen: robustes Software Engineering, die Große Herausforderung in der zuverlässigen Systementwicklung, vereinheitlichende Theorien der Programmierung, formale Spezifikation, Verfeinerung, Nebenläufigkeit, zustandsreiche Systeme, mobile und rekonfigurierbare Prozesse, Nanotechnologie, die Große Herausforderung im Eisenbahnbereich. Er hat einen Hintergrund in formalen Methoden, insbesondere der Z-Notation und CSP. Woodcock arbeitete an der Anwendung der Z-Notation für das IBM CICS-Projekt mit, was zur Verleihung eines Queen's Award for Technological Achievement beitrug, und an Mondex, was zur Verleihung des |
