Dylan Marinho

Dylan Marinho

PhD Student

Université de Lorraine

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 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