Cédric Fournet

URI: https://gptkb.org/entity/Cédric_Fournet
GPTKB entity
Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:computer_scientist
gptkbp:almaMater gptkb:École_normale_supérieure_de_Lyon
gptkbp:award gptkb:Royal_Society_Milner_Award
gptkbp:doctoralAdvisor gptkb:Gérard_Berry
gptkbp:employer gptkb:Microsoft_Research
gptkbp:field gptkb:security
computer science
cryptography
formal methods
https://www.w3.org/2000/01/rdf-schema#label Cédric Fournet
gptkbp:memberOf gptkb:INRIA
gptkb:Microsoft_Research_Cambridge
gptkbp:nationality gptkb:French
gptkbp:notableWork gptkb:F#_programming_language
gptkb:ProVerif
gptkbp:occupation gptkb:researchers
gptkbp:bfsParent gptkb:applied_pi-calculus
gptkb:join-calculus
gptkbp:bfsLayer 7