React

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 …

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 …