Jim Woodcock's home page

About me

Jim Woodcock's photoI am a Professor of Software Engineering in the Department of Computer Science at the University of York with research interests in verification and correctness of computer-based systems.

I started my career in 1980 at GEC's Hirst Research Centre in Wembley, North West London, where I worked on a novel distributed telephone exchange and on software for the System X digital exchanges. In 1984, I moved to the University of Surrey as a lecturer in Information Technology. In 1985, I joined Tony Hoare's Programming Research Group in Oxford, where I was a junior research fellow at Wolfson College and then the Atlas Fellow at Pembroke College. During this time, I worked on a project funded by IBM on formalising the CICS transaction processing system in the Z notation, under the supervision of Ib Holm Sorensen.

In 1994, I was appointed to a Lecturership in Computation with a Fellowship at Kellogg College. Around this time, I founded the Software Engineering Programme in Oxford. In 1997, I was appointed Reader in Software Engineering and in 2000, Professor. In 2001, I moved to the University of Kent and in 2004 to the University of York. Since 2012, I have been head of the department of Computer Science. I am also joint leader of the High-Integrity Systems Engineering Research Group, the largest group of its kind in the world.

I am a Chartered Engineer and a fellow of the Royal Academy of Engineering and of the British Computer Society; I am also a member of the London Mathematical Society. I was part of the team in Oxford that won the 1992 Queen's Award for Technological Achievement for work on formal methods with IBM.

© 10 August 2016