Antoine Dallon

Doctorant

Recherche

Je suis un ancien doctorant de Stéphanie Delaune et de Véronique Cortier. Ma thèse concerne la vérification de propriétés d'équivalence pour les protocoles de sécurité. J'ai quitté le laboratoire depuis novembre 2018.

SAT-Equiv

La page web de SAT-Equiv est disponible ici.

Enseignement

J'enseignais en L1 à l'Université Paris 7 :

• TP d'initiation à la programmation en Java (IP1) [2015-2016 - 1er semestre]
• TP Internet et Outils (IO2) [2015-2016 - 2e semestre]
• TP d'initiation à la programmation en Python [2016-2017 - 1er semestre]
• TP d'analyse de données structurées [2016-2017 - 2e semestre]

Récompenses

• A ETAPS'16, notre article (écrit avec Stéphanie Delaune et Véronique Cortier) a remporté le prix du meilleur article (ex-aequo) de l'EASST.
• Pour le même travail, j'ai reçu le premier prix du doctorant de l'ED-STIC (2016) (ex-aequo).

À propos du LSV

• Actualités
• Membres
• Recherche
• Séminaires
• Enseignement
• Contact