-
OcciLan
- http://occilan.fr/
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formal verification using proof assistants.
CISPA Helmholtz Center for Information Security Saarbrücken
Randra Razafindrabe
CapePouvoir
Computer Science student at UT3 - Paul Sabatier, France, Toulouse.
Finishing my degree
Toulouse, France