基本信息
views: 42
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
Jim Woodcock holds the Anniversary Chair in Software Engineering at the University of York. Previously, he was Professor of Software Engineering at the University of Oxford, where he founded the Centre of Excellence in Software Engineering and directed its academic Programme, which has attracted hundreds of part-time students from all over the world.
His current research interests include industrial-scale software engineering, unifying theories of programming, railway signalling, hybrid control systems, and model checking state-rich concurrent systems.
His research team won the Queen's Award for Technological Achievement in 1992 for its work with IBM. He was the academic consultant for the first product certified to ITSEC Level E6 (in 1998), and served for over ten years as an advisor on secure systems to the British and US governments. In 2002, he won the Rudolf Christian Carl Diesel Prize from the Society for Design and Process Science.
He is the moderator for UKCRC's Grand Challenge 6 and a co-director of the United Nations Summer Schools on Theoretical Computer Science. He is Joint Editor-in-Chief of Formal Aspects of Computing Journal; he has served on over sixty international conference programme committees, and has chaired fifteen of them. He has given invited papers and keynote speeches at over thirty conferences, and is the author of nearly 200 scientific papers and books. He is currently a Visiting Professor at Trinity College Dublin, Shanghai Jiao Tong University, and the Federal University of Pernambuco, and a Visiting Fellow at the University of Oxford, and has twice served as the Formal Methods Europe Lecturer on lecture tours in South America, and twice for the British Council in Central Europe and North Africa. He is a Chartered Fellow of the BCS.
He has acted as a consulting software engineer for many organisations, including British Energy, DEC, General Dynamics, IBM, LDRA, Logica, QinetiQ, and the UK Health & Safety Executive.
Research Interests
Papers共 15 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
arXiv (Cornell University) (2022)
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn