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)
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 contract 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 involving contractual agreements such as banks, insurances, supply chain industry and law firms.
Academics interested in blockchain.
What outputs do you want to feature?
1) "Implementation of Smart Contracts Using Hybrid Architectures with On-and Off-Blockchain Components”
2) "On and Off-Blockchain Enforcement Of Smart Contracts"
1) TECOmate (Tools for the Enforcement of Smart Contracts Online with MAthematics and TEchnology)
2) contraval (a tool for validating contracts)
3) conch (a tool for checking contract compliance)
Where do we go to follow your work?
1) My home page
2) TESCON project at ResearchGate:
3) TESCON project web page:
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.
I design algorithms that allows individuals and groups to understand how they interact with their environment by analysing their movement patterns
I work closely with clients to design good experiences and interfaces for theirs users.
I design financial models, structures and processes. My role helps HAT to better manage its financial resource to overcome its challenges and achieve its goals.
I am designing a methodology on the HAT using multimedia data which could serve for social sciences.
I design security-focused system and application architectures. I also design semantics and common data vocabularies to ease data integration between systems with different data formats and languages.
I’m a lead UX/UI designer that specialises in working with innovative startups to design clear and simple user experiences across mobile apps and web interfaces
I design the support processes and activities that will help all our HAT community come together to do the work they want to do.
I design communications networks and communities. I'm always trying to bring professional networks and audiences closer together.
I design the HAT data rights. I investigate the mechanics of information flows within the legal and regulatory framework for complex cyber-physical products.
I design Minimum Viable Products (MVPs), helping Startups build exciting products.
My focus is on value creation. I explore value streams, systems, supply chains and business models, that enable greater value to realised by a firms clients and hence bring mutual benefit to the firm.
I design markets, economics models, ecosystems, incentives, platforms.
I design mobile experiences on iOS that are based around the HAT.
I design modular processes for manufacturing and service organisations with emphasis placed on the integration and use of digital technologies to support these processes.
I design systems, helping people to be more secure in general, and more engaged with computing systems in general, especially with interactions on multimedia data.
I design mobile experiences on Android that are built around the HAT.
A designer and builder of all things digital from websites to digital children’s books.
I design the algorithms and tools in the Smart HAT Engine and ThingEngine to transform HAT and ThingSpace data
I design custom-crafted software products that help clients, big or small, solve their most pressing problems.
I design smart contract applications that can be deployed alternatively on—blockchain, off-blockchain or on hybrid platforms.
I designed the technological architecture of the HAT
I design service ecosystem to increase liquidification and density of resources for optimal value co-creation to serve customer contexts via ontological engineering method.