CASTOR Software Research Centre

President of KTH Sigbritt Karlsson Visited CASTOR

President of KTH Sigbritt Karlsson visited CASTOR on the 17th of February.      

KTH Joins Swedsoft

KTH just joined Swedsoft, an independent non-profit organization with the mission to increase the competitiveness of Swedish software. More info:    

Cooperation between CASTOR and CDIS Centres on 3 PhD Thesis

The newly created KTH Centre for Cyber Defense and Information Security, and the CASTOR research centre, have launched cooperation via 3 new PhD thesis proposals. In the following you can find short descriptions of them.   Verified System Software: A...

CASTOR Talks at the upcoming Swedish SAST Conference

SAST, the Swedish Association for Software Testing, is organising a conference on the following theme: "Shift Happens - Learn new way of thinking and make a difference in the future organisations". Professors Benoit Baudry and Karl Meinke from CASTOR will be giving...

First Prize in a Code Poetry Competition!

Our research engineer affiliated to CASTOR, Nadia Campo Woytuk, won the first prize in a code poetry competition!   Here the announcement on Facebook. More info about the contest:

Invited Talk at the Upcoming Conference on Circularity in Syntax and Semantics

Mads Dam is giving an invited talk first-Order mu-calculus as a Language Independent Program Verification Framework at the conference on Circularity in Syntax and Semantics in Gothenburg, Nov 20-22 2019. More info: