Présentation

Dylan est en préparation d’un doctorat au sein de l'Université de Lorraine et de l’école doctorale IAEM en Science Informatique. Il est rattaché à l’équipe VeriDis du LORIA et de l'Inria.

Après une Licence puis un Master 1 en Science Informatique (SIF) au sein de l'Université de Rennes 1, il a étudié pendant une année au sein de l'Institut d’Études Politiques de Rennes (Sciences Po Rennes) au sein du Master 2 “Sécurité Défense et Intelligence Stratégique”. En parallèle, il a validé un Magistère d’Informatique au sein de l'École Normale Supérieure de Rennes.

Il a rejoint l'Université de Lorraine et le LORIA en octobre 2020 pour la préparation de sa thèse.

Intérêts

  • Virologie informatique
  • Techniques d’attaque et leur détection
  • Méthodes formelles, model checking

Formation

  • Doctorat en informatique, 2020 - 2023

    Université de Lorraine

  • Magistère - Informatique, 2020

    École Normale Supérieure de Rennes

  • Master - Politiques publiques, 2020

    Institut d'Études Politiques de Rennes

  • Master 1 - Informatique, 2019

    Université de Rennes 1

Position actuelle

Pour la liste complète des expériences (incluant stages et projets), se référer à la page recherche.
 
 
 
 
 

Doctorat

Université de Lorraine

Oct. 2020 – Actuellement Nancy, France

Détection d’attaques temporisées à l’aide de méthodes formelles

Sous la supervision d'Étienne André, au sein de l’équipe VeriDis et du projet ProMiS

Contact

E-mail - Enseignement

Dylan.Marinho(at)univ-lorraine.fr

E-mail - Recherche

Dylan.Marinho(at)loria.fr

Adresse

Dylan Marinho
Équipe VeriDis, Bâtiment B
LORIA,
Campus Scientifique,
F54506 Vandœuvre-lès-Nancy Cedex
FRANCE

Bureaux

Loria: B206
IUT Charlemagne: 013