The SAFT project is carried out within the Programming, Logic and Intelligent Systems research group at Roskilde university.

Participants at Roskilde


John Gallagher

Mads Rosendahl

Morten Rhiger

External Collaborators