Jim Woodcock FREng

Current Positions:

Professor of Software Engineering
Head-of-Department
Joint Leader, High-Integrity Systems Engineering Research Group
Editor in Chief, Springer Formal Aspects of Computer Science Journal
Department of Computer Science
University of York

Research Interests:

Industrial-scale Software Engineering
Formal Methods
Systems of Systems
Verified Software Initiative

Address:

Department of Computer Science
University of York
Deramore Lane
York YO10 5GH
United Kingdom

E-Mail: <jim (dot) woodcock (at) york (dot) ac (dot) uk>

Telephone: +44 (0)1904 325400