Home Research Formally Verified Security Team Formally Verified Security Team Formally Verified Security Group Leader Name Phone Email Cătălin Hrițcu catalin.hritcu@... Postdocs Name Phone Email Roberto Blanco roberto.blanco@... Adrien Durier adrien.durier@... Théo Winterhalter theo.winterhalter@... Research Assistants Name Phone Email