Docker
https://www.docker.com/
SuprNation
2022-today
SuprNation is a technology company founded in 2015 to serve as a home for some of the most competent and creative people in the iGaming industry. Our first product was launched in the summer of 2016, a casino determined to deliver a better user and gaming experience than what is currently available. SuprNation is a highly ambitious project with 3 casino brands, VoodooDreams, NYSpins and Duelz live …
Logic-based workflows
2009-today
This project aims to enhance the development of process workflows with AI techniques so that various properties of the models are verified as they are being built, i.e. workflows that are correct-by-construction. In particular, we employ the proofs-as-processes paradigm which describes the correspondence between Classical Linear Logic (CLL) proofs with π-calculus processes. This enables us to …
WorkflowFM Reasoner
2009-2022
The WorkflowFM Reasoner is a logic-based library for correct-by-construction process modelling and composition. It is available under the Apache 2.0 License on GitHub: https://github.com/workflowfm/workflowfm-reasoner Website and documentation is available here: http://docs.workflowfm.com/workflowfm-reasoner/ About It is implemented as a logic-based library for the interactive theorem prover HOL …
WorkflowFM Composer
2009-2022
The WorkflowFM Composer is a a diagrammatic tool for formally verified process modelling and composition. It is available under the Apache 2.0 License on GitHub: https://github.com/workflowfm/workflowfm-composer Website and documentation is available here: http://docs.workflowfm.com/workflowfm-composer/ About The WorkflowFM Composer consists of a Java-based server and GUI for formally verified …
DigiFlow
2018-2020
Digitizing Industrial Workflow, Monitoring and Optimization Digiflow is an Industry 4.0 project funded by EIT Digital. It focuses on the digitization, monitoring, and optimization of industrial workflows, with a combination of IoT sensors, Cloud infrastructure and our workflow technologies. A slide deck with some of the aspects and outputs of the project for 2018 can be found HERE We are working …