Jim Woodcock - Jim Woodcock
Jim Woodcock | |
---|---|
narozený | 7. června 1956 |
Národnost | britský |
Alma mater | University of Liverpool |
Známý jako | CSP, UTP, Z notace |
Vědecká kariéra | |
Pole | Počítačová věda, formální metody |
Instituce | University of Oxford University of Kent University of York |
Vlivy | Tony Hoare |
Ovlivněno | Jim Davies |
webová stránka | www.cs.york.ac.uk/people/jim |
Profesor James Charles Paul Woodcock FREng FBCS CEng CITP je Brit počítačový vědec.
Woodcock získal jeho PhD z University of Liverpool. Do roku 2001 byl profesorem Softwarové inženýrství na Oxford University Computing Laboratory, kde byl také členem Kellogg College.[1] Poté se připojil k University of Kent a nyní sídlí v University of York,[2] kde od října 2012 je vedoucím katedry výpočetní techniky.
Mezi jeho výzkumné zájmy patří: silný softwarové inženýrství, Velká výzva v spolehlivý vývoj systémů, sjednocující teorie programování, formální specifikace, upřesnění, konkurence systémy bohaté na stát, mobilní, pohybliví a rekonfigurovatelné procesy, nanotechnologie Velká výzva v železniční oblasti. Má zázemí v formální metody, zejména Z notace[3] a CSP.
Woodcock pracoval na aplikaci notace Z na IBM CICS projekt, který pomáhá získat a Queen's Award for Technological Achievement,[4] a Mondex, pomáhá získat nejvyšší ITSEC stupeň utajení.[5]
Prof. Woodcock je Šéfredaktor z Formální aspekty práce na počítači časopis.[6]
Knihy
- Jim Woodcock a Jim Davies, Použití Z: Specifikace, upřesnění a důkaz. Prentice-Hall International Series in Computer Science, 1996. ISBN 978-0-13-948472-8.
- Jim Woodcock a Martin Loomes, Softwarové inženýrství Mathematics: Formální metody Demystified. Kindle vydání, Taylor & Francis, 2007.
Reference
- ^ Domovská stránka Jima Woodcocka, Oxford University Computing Laboratory.
- ^ Oficiální domovská stránka, University of York, SPOJENÉ KRÁLOVSTVÍ.
- ^ Jim Woodcock a Jim Davies, Použití Z: Specifikace, upřesnění a důkaz. Prentice-Hall International Series in Computer Science, 1996. ISBN 978-0-13-948472-8
- ^ Cena královny za technologický úspěch 1992 Archivováno 2. Prosince 2008 v Wayback Machine, Oxford University Computing Laboratory, SPOJENÉ KRÁLOVSTVÍ.
- ^ Jim Woodcock, Susan Stepney, David Cooper, John Clark a Jeremy Jacob, Certifikace elektronické kabelky Mondex na úroveň ITSEC E6, Formální aspekty práce na počítači, Svazek 20, číslo 1, strany 5–19, leden 2008.
- ^ „Redaktoři“. Formální aspekty práce na počítači. Springer. Citováno 23. února 2019.
externí odkazy
- Oficiální domovská stránka
- Osobní domovská stránka
- Profil výzkumu
- Jim Woodcock publikace indexované podle Google Scholar
- Jim Woodcock na DBLP Bibliografický server
P ≟ NP | Tento životopisný článek týkající se a počítačový vědec je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
![]() | Tento článek o počítačovém specialistovi ve Velké Británii je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |