by Frederic | Jun 24, 2020 | News, Results
CASTOR invited me to spend a month at KTH in September 2019, an offer I was more than happy to accept since it would give me the opportunity to reconnect with colleagues in Sweden, spend time in Stockholm (which I had visited frequently during my PhD studies), and...
by Frederic | Apr 14, 2020 | News
Javier Cabrera Arteaga, PhD student at KTH, recently presented online his new paper “Superoptimization of WebAssembly Bytecode”, co-authored by Benoit Baudry and Martin Monperrus at the 2020 <Programming> Conference. More information: – Swedish...
by Frederic | Mar 17, 2020 | News
President of KTH Sigbritt Karlsson visited CASTOR on the 17th of February.
by Frederic | Mar 6, 2020 | News
KTH just joined Swedsoft, an independent non-profit organization with the mission to increase the competitiveness of Swedish software. More info: https://www.swedsoft.se/en/2020/02/13/kth-joins-swedsoft/
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/...
