Rodothea Myrsini Tsoupidi

I am a PhD student at the School of Electrical Engineering and Computer Science (EECS),Royal Institute of Technology (KTH), under the supervision of Elena Troubitsyna and Panos Papadimitratos. My main research interest lies in the area of software-based security, including software veriifcation, software diversification, and combinatorial optimization, including constraint programming and SMT solving.