Best Paper Award on Constraint Programming

Rodothea Myrsini Tsoupidi, PhD student in software technology at KTH, has received the best paper award at the International Conference on Principles and Practice of Constraint Programming for her work entitled Constraint-Based Software Diversification for Efficient...

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...

Distinguished Artifact Award

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...