Typescript
https://www.typescriptlang.org/
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 …
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 …