Computer Laboratory

Google Scholar Citations

Carlos Molina Jimenez

I'm a senior research associate at the Department of Computer Science and Technology (Laboratory of Univerity) of University of Cambridge. I am a member of the Networks and Operating Systems group NetOS.

I joined the Computer Lab in 2014 after completing my PhD in Computing Science and working at the School of Computing Science of University of Newcastle.

Contact Details

Dr. Carlos Molina-Jimenez
University of Cambridge
Computer Laboratory
JJ Thomson Avenue
William Gates Building
Cambridge BE3 0FD

email: Carlos.Molina + @ +

General Research Interests

My general topic is Distributed Systems and Networks. I have been focused on contract regulated applications and related topics and technologies since the early 2000s:

  • Smart Contracts
  • Service Level Agreements (SLAs) and Quality of Service (QoS)
  • Business to Business (B2B) Processes
  • Cloud Computing and Virtualisation

Research Projects

I am currently working in the EU UMOBILE (Universal, Mobile-centric and Opportunistic Communications Architecture) project. The overall aim is the development of a communication infrastructure that can support the deployment of services that are expected to comply with associated contractual QoS requirements, regardless of potential network impairments. The effort is based on the integration of Information Centric Networking (ICN), Delay Tolerant Networking (DTN) and light-weight virtualisation technology.


The complete list of my publications is avaliable from Carlos Molina's Google Scholar Citations

Key publications


I have contributed to several Git repos Carlos-Molina's Git repositories

Smart Contracts

I have been studying smart contracts since the early 2000s, firstly at Newcastle and currently, at Cambridge. I have co-authered over 25 papers on the topic and participated in the implementation of tools for run--time enforcement of smart contracts.

You can find the list of my publications from Google Scholar Citations. Here is a link to my Newcastle Home Page that summarises my research achievements on the topic.

Observe that in our publications, we used the term executable contracts instead of smart contracts as this term was not widely spread at that time. Arguably, the term executable contract is not as catchy as smart contract, yet it conveys the idea of more accurately. However, since the term smart contract is now widely used, I am confortable with the use of both terms as synonymous.

Definition: Intituitively, a smart contract is (at least under my personal definition) a conventional contract that can be converted into executable code, executed and enforced programmatically at run-time.

Brief historic backgroud

The idea behind smart contracts can be traced back back several decades. It has been the subject of interests to several researchers.

Smart contracts and blockchain

Blockchain and smart contracts are closely related and can complement each other but they are independent concepts (technologies). One can implement smart contracts without blockchain and use blockchain for implementing applications that do not involve smart contracts.

To appreciate the relationship of the two technologies, it helps to think of their roles in the software stack. Smart contracts operate at the application level while blockchains operate at middleware level.

Definition of smart contract:

A smart contract is an executable piece of codea...

Definition of blockchain:

A blockchain is a piece of middleware that can be used to implementat smart contracts and other applications.

... This page is under construction!!!