The work focused on understanding how the use of behavioural types for shared objects and concurrency can help in the context of analysing existing APIs.  Particular focus was devoted to studying lock-freedom within a linear context and preliminary models have been developed for deadlock detection and correction. Ixaris provides a payment APi for travel agencies that crucially needs to be ensured safe and sound. This secondment was related to Tasks T.2.4 and T.2.5. – (O.2.3)

Leave a Reply