by Frederic | Feb 21, 2020 | News
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...
by Frederic | Feb 21, 2020 | News
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...
by Frederic | Feb 21, 2020 | News
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: https://www.sourcecodepoetry.com/
by Frederic | Nov 20, 2019 | Uncategorized
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: http://www.cse.chalmers.se/~bahafs/CiSS2019/...
by Frederic | Nov 13, 2019 | News
Elias Castegren (post-doc researcher in David Broman’s group) and his colleague Kiko Fernandez-Reyes from Uppsala received a distinguished artifact award at the ACM SIGPLAN International Conference on Software Language Engineering (SLE) two weeks ago for their...
by Frederic | Nov 13, 2019 | News
Cyrille Artho has received a new VR grant for his project TEMOS (Temporal monitoring of smart contracts). Smart contracts are computer programs which execute on top of blockchains to manage the flow of funds, exchange of assets, and transfer of digital rights between...
by Frederic | Nov 5, 2019 | News
With a short video presenting excerpts on what the participants have been demonstrating at R1, follow this link.
by Frederic | Oct 28, 2019 | News
Read the full article (in Swedish): https://www.kth.se/aktuellt/nyheter/konst-gor-undangomd-mjukvara-synlig-1.934548
