System-Level Game Semantics: A unifying framework for composing systems
Lead Research Organisation:
University of Birmingham
Department Name: School of Computer Science
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Organisations
People |
ORCID iD |
Dan Ghica (Principal Investigator) |
Publications
Ghica D
(2017)
On the Learnability of Programming Language Semantics
in Electronic Proceedings in Theoretical Computer Science
Ghica D
(2016)
Categorical semantics of digital circuits
Ghica D
(2018)
A Structural and Nominal Syntax for Diagrams
in Electronic Proceedings in Theoretical Computer Science
Ghica D
(2019)
Latent semantic analysis of game models using LSTM
in Journal of Logical and Algebraic Methods in Programming
Ghica D.R.
(2017)
Diagrammatic semantics for digital circuits
in Leibniz International Proceedings in Informatics, LIPIcs
Imtiaz Q
(2022)
CuO-based materials for thermochemical redox cycles: the influence of the formation of a CuO percolation network on oxygen release and oxidation kinetics.
in Discover chemical engineering
Muroya K
(2018)
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting
in Electronic Proceedings in Theoretical Computer Science
Muroya K
(2018)
The Geometry of Computation-Graph Abstraction
Muroya K.
(2017)
The dynamic geometry of interaction machine: A call-by-need graph rewriter
in Leibniz International Proceedings in Informatics, LIPIcs
Description | We have invented a new way of integrating micro-services in the cloud which avoids the need to use so-called Web APIs. |
Exploitation Route | Our new technology improves the effectiveness of developers working on legacy application modernisation for the cloud, in particular provisioning for micro-services, ten-fold. |
Sectors | Digital/Communication/Information Technologies (including Software) |
URL | http://mokapot.xyz |
Description | We created technology that we believed would have a profound impact in application modernisation for legacy Java applications. The technology has been now made available as an Open Source project and it remains to be seen what kind of traction it will develop. |
First Year Of Impact | 2023 |
Sector | Digital/Communication/Information Technologies (including Software) |
Impact Types | Economic |
Description | |
IP Reference | |
Protection | Copyrighted (e.g. software) |
Year Protection Granted | |
Licensed | No |
Impact | No impact yet. We are currently working out licensing deals. |
Title | Millr |
Description | Software correctness analysis tool associated with Mokapot (described separately). |
Type Of Technology | Software |
Year Produced | 2019 |
Impact | Licensing deal being negotiated. |
Title | Mokapot |
Description | A new generation of cloud infrastructure, increasing programmer effectiveness and enabling optimal deployment. |
Type Of Technology | Software |
Year Produced | 2019 |
Impact | Licensing deal currently negotiated. |
Company Name | ACYGN LTD |
Description | Formed for commercialising software which was the outcome of this research ("Mokapot"). |
Year Established | 2019 |
Impact | After initially obtaining ICURE support, the company was folded after being unable to raise further investment. |
Website | http://mokapot.xyz |