Jima Woodcocka

Jima Woodcocka
Urodzić się	( 07.06.1956 ) 7 czerwca 1956
Narodowość	brytyjski
Alma Mater	Uniwersytet w Liverpoolu
Znany z	CSP , UTP , notacja Z
Kariera naukowa
Pola	Informatyka , metody formalne
Instytucje	University of Oxford University of Kent University of York
Wpływy	Tony'ego Hoare'a
Pod wpływem	Jima Daviesa
Strona internetowa	www.cs.york.ac.uk/people/jim

James Charles Paul Woodcock FREng FBCS CEng CITP jest brytyjskim informatykiem .

Woodcock uzyskał doktorat na Uniwersytecie w Liverpoolu . Do 2001 roku był profesorem inżynierii oprogramowania w Oxford University Computing Laboratory , gdzie był również członkiem Kellogg College . Następnie dołączył do University of Kent , a obecnie pracuje na University of York , gdzie od października 2012 r. jest kierownikiem Wydziału Informatyki.

Jego zainteresowania badawcze obejmują: silną inżynierię oprogramowania , Wielkie Wyzwanie w ewolucji niezawodnych systemów, ujednolicenie teorii programowania , specyfikację formalną , udoskonalanie , współbieżność , systemy bogate w stany, procesy mobilne i rekonfigurowalne , nanotechnologię , Wielkie Wyzwanie w dziedzinie kolejnictwa. Ma doświadczenie w metodach formalnych , zwłaszcza w notacji Z i CSP .

Woodcock pracował nad zastosowaniem notacji Z do projektu IBM CICS , pomagając zdobyć nagrodę Queen's Award za osiągnięcia technologiczne , oraz Mondex , pomagając uzyskać najwyższy poziom klasyfikacji ITSEC .

Prof. Woodcock jest redaktorem naczelnym czasopisma Formal Aspects of Computing .

Książki

•   Jim Woodcock i Jim Davies , Korzystanie Z: specyfikacja, udoskonalenie i dowód . Prentice-Hall International Series in Computer Science, 1996. ISBN 978-0-13-948472-8 .
• Jim Woodcock i Martin Loomes, Inżynieria oprogramowania Matematyka: metody formalne wyjaśnione . Wydanie Kindle, Taylor i Francis , 2007.

Linki zewnętrzne

• Oficjalna strona główna
• Osobista strona główna
• Profil naukowy
• Jima Woodcocka indeksowane przez Google Scholar
• Jim Woodcock z DBLP Bibliography Server