Carlos: Researcher

Dr. Carlos Molina-Jimenez: Senior Research Associate, Department of Computer Science and Technology, University of Cambridge

HAT project: TESCON (Tools for the Enforcement of Smart CONtracts)

IMG_5807.jpg

What do you design?

I design smart contract applications that can be deployed alternatively on—blockchain, off-blockchain or on hybrid platforms.  

A smart contract is the digital equivalent (an executable program) of a conventional business contracts that can be executed online and automatically. Examples of business contracts are tenancy agreements and car renting contracts. 

Smart contracts are the best known and one of the most promising applications of blockchain.

What do you create?

I implement software tools that developers can use for: 

i) implementing smart contract applications

ii) formally verifying their logical consistency at design time and

iii) formally verifying conformance testing at deploy time. 

Who would be interested in this?

  • Software companies that develop middleware software to support the implementation of blockchain application including smart contracts. 
  • Companies that execute application that involve contractual agreements such as banks, insurances, supply chain industry and law firms.
  • Academics interested in blockchain.

What outputs do you want to feature?

Publications

1) "Implementation of Smart Contracts Using Hybrid Architectures with On-and Off-Blockchain Components”

Available at ResearchGate: https://www.researchgate.net/publication/326693942_Implementation_of_Smart_Contracts_Using_Hybrid_Architectures_with_On-and_Off-Blockchain_Components/stats

arXiv: https://arxiv.org/pdf/1808.00093.pdf

2) "On and Off-Blockchain Enforcement Of Smart Contracts"

ResearchGate: https://www.researchgate.net/publication/324908058_On_and_Off-Blockchain_Enforcement_Of_Smart_Contracts

arXiv: https://arxiv.org/pdf/1805.00626.pdf

Git repositories:

1) TECOmate (Tools for the Enforcement of Smart Contracts Online with MAthematics and TEchnology)

https://github.com/carlos-molina/TECOmate

2) contraval (a tool for validating contracts)

https://github.com/carlos-molina/contraval

3) conch (a tool for checking contract compliance)

https://github.com/carlos-molina/conch

Where do we go to follow your work?

1) My home page

https://www.cl.cam.ac.uk/~cm770/ 

2) TESCON project at ResearchGate:

https://www.researchgate.net/project/TESCON-Tools-for-Enforcement-of-Smart-Contracts

3) TESCON project web page:

https://www.cl.cam.ac.uk/~cm770/tescon/tescon.html

What inspires your work?

I am a computer scientist. My research is always driven by my passion for exploring new ideas and technologies, in particular, in topics of commercial interest that are related to computer networks and distributed systems.