professor profile picture

Cliff Jones

Professor

Newcastle University

Country flag

United Kingdom

Has grant

This profile is automatically generated from trusted academic sources.

Google Scholar

.

ORCID

.

LinkedIn

Social connections

How do Bangladeshi students reach out?

Sign in for free to see their profile details and contact information.

Meet Kite AI

Contact this professor

LinkedIn
ORCID
Google Scholar
Academic Page

Research Interests

Control System

20%

Mathematical Logic

10%

Petri Net

20%

Concurrency

10%

Temporal Logic

10%

Model Checking

10%

Load Balancing

10%

Ask ApplyKite AI

Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?

Recent Grants

Grant: Close

Taming Concurrency

Open Date: 2013-03-31

Close Date: 2017-03-30

Grant: Close

(Understanding concurrent programs using rely-guarantee thinking)

Open Date: 2013-01-01

Close Date: 2015-12-31

Grant: Close

Trustworthy Ambient Systems: Resource Constrained Ambience

Open Date: 2012-02-01

Close Date: 2016-01-31

Grant: Close

UK Infrastructure Transitions Research Consortium (ITRC): PROGRAMME GRANT: Long term dynamics of interdependent infrastructure systems

Open Date: 2011-01-01

Close Date: 2011-02-07

Grant: Close

AI4FM: using AI to aid automation of proof search in Formal Methods

Open Date: 2010-03-31

Close Date: 2014-09-29

Collaborators1

Alan Burns

University of York

UNITED KINGDOM