Charlie Jacomme

Charlie Jacomme

PostDoc au CISPA

Biographie

Intérêts

  • Protocoles de sécurité
  • Vie privée
  • Méthodes formelles
  • Techniques de compositions

Formation

  • Thèse en informatique, 2020

    ENS Paris-Saclay

News

Vidéos

J’ai commencé à faire des vidéos de vulgarisation : voici ma thèse en 137 secondes ! Il y a aussi en anglais un teaser d’une minute pour le Squirrel Prover, ainsi qu’une version longue de 13 minutes qui présente les principales idées et concepts de Squirrel.
Vidéos

Comité de programme de CSF'22

J’ai rejoins le PC de CSF'22, hâte de découvrir vos papiers !
Comité de programme de CSF'22

Squirrel Prover

L’un des mes principaux projest est en ligne. Plus d’infos (en Anglais) sur le site !
Squirrel Prover

Prix de thèse

J’ai reçu un prix de thèse, merci au jury ! Les infos sont .
Prix de thèse

Expérience

 
 
 
 
 

Postdoc

CISPA

Nov 2020 – Actuellement Saarbrucken
Postdoc dans l’équipe de Cas Cremers.
 
 
 
 
 

Doctorant

LSV, ENS Paris-Saclay

Sep 2017 – Sep 2020
Thèse sous la direction d’Hubert Comon et de Steve Kremer.

Mes présentations

Decisions problems about propabilistic programs over finite fields, decidability and complexity.

Symbolic methods in computational cryptography proofs

Gröbner Basis and deducibility

Symbolic methods applied to the automation of computational proofs - Building simulators

Contact