Harvester @Harvester@scholar.social

#introduction

Hello folks, new member here :) I recently (october 2018) started a PhD thesis at CEA-List (Saclay, France) and ANSSI, on formal methods applied to security (broad topic !).

Before that, I graduated from ESIEA Paris and I hold a MSc in Computer Sciences, with a speciality in information security :)

Related hashtags : #Security #FormalMethods