Welcome, Morten!

A huge welcome to Morten, a Visiting Research from Aarhus University.

During Morten’s PhD and in close collaboration with his colleague Thomas Wright, Morten developed the first stream-based Runtime Verification (RV) language capable of reconfiguration at runtime, where historical states are preserved when sensible.

The hypothesis is that our language is better suited for dealing with deployed systems where requirements may change.

In collaboration with Andrew Putman and Peter Lewis, Morten’s visit aims to demonstrate the efficacy of the RV language. Here, they will carry out a transfer-learning experiments on healthcare data, iteratively fine-tuning the model as they explore several new fairness metrics. The aim is to use RV to guarantee that the model does not regress on the fairness metrics it was previously fine-tuned to satisfy.

We look forward to seeing the results of your work!