190 followers
RT @michaelmarcozzi: Welcome in the team, @charlesbm06! Have fun! 🙂
RT @michaelmarcozzi: Welcome in the team, @charlesbm06! Have fun! 🙂
RT @BinsecTool: We are happy to welcome @charlesbm06 as a new PhD student in the team, to work on self-adaptation for adversarial code anal…
Welcome in the team, @charlesbm06! Have fun! 🙂
We are happy to welcome @charlesbm06 as a new PhD student in the team, to work on self-adaptation for adversarial code analysis!🙂 See https://t.co/KHtgGhnEDl and also check out his @ETAPSconf #TACAS2020 paper on C code verification https://t.co/CxL7sFIUll.