Dylan is a PhD-student at Université de Lorraine, at the IAEM Doctoral School in computer science. He belongs to the Mosel-VeriDis team of the LORIA and Inria.

After a Bachelor’s degree and a first year of Master in computer science in the Université de Rennes 1, he has attended courses in the Institut d’Études Politiques de Rennes (Sciences Po Rennes) in a Master class of “Security Defense and Strategic Intelligence”. Simultaneously, he has performed a Magister’s degree in computer science at École Normale Supérieure de Rennes.

He joined Université de Lorraine and LORIA in October 2020 for his PhD.

Interests

  • Behavioural analysis of programs
  • Computer virology
  • Attack techniques and their detection
  • Formal methods, model checking

Education

  • PhD in Computer Science, 2020 - 2023

    Université de Lorraine

  • Magister's degree in computer science, 2020

    École Normale Supérieure de Rennes

  • Master's degree in public policies, 2020

    Institut d'Études Politiques de Rennes

  • Master's degree (Master 1) in computer science, 2019

    Université de Rennes 1

Contact

E-mail

Teaching
Dylan.Marinho(at)univ-lorraine.fr
Research
Dylan.Marinho(at)loria.fr

Affiliation

Université de Lorraine, CNRS, Inria, LORIA
Nancy, France

Address

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

Location

Loria
B206
IUT Nancy-Charlemagne
11
LIPN
A103