Cliff Jones

简介

Cliff Jones is an Emeritus Professor of Computing Science at Newcastle University. His research focuses on formal methods, particularly the development of rely/guarantee reasoning for concurrent programs, formal specification, and program verification. He has made significant contributions to the field, including work on VDM and the logic of partial functions.

代表成果

• A Specification Framework for Mixed-Criticality Scheduling Protocols
• Three Early Formal Approaches to the Verification of Concurrent Programs
• Extending rely-guarantee thinking to handle real-time scheduling
• The development and deployment of formal methods in the UK
• Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
• Deriving specifications of control programs for cyber physical systems
• Possible values: exploring a concept for concurrency
• Balancing expressiveness in formal approaches to concurrency
• Revising basic theorem proving algorithms to cope with the logic of partial functions
• Assessing the Long-Term Performance of Cross-Sectoral Strategies for National Infrastructure