I hold a joint position, funded by the Swedish Research Council (VR), with:

• ASTRA, under Prof. Pierre Flener and Dr. Justin Pearson, and
• the Algorithmic Program Verification group, under Prof. Parosh Abdulla.