Dylan is a PhD-student at Université de Lorraine, at the IAEM Doctoral School in computer science. He belongs to the 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.


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


  • 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

Actual position

For complete experience list (including projects and internships), see the research page.


Université de Lorraine

Oct. 2020 – Present Nancy, France

Detecting timing attacks using formal methods

Under the supervision of Étienne André, in the VeriDis team and ProMiS project

Last Publication

Quickly discover relevant content by filtering publications.

Efficient Convex Zone Merging in Parametric Timed Automata


Teaching E-mail


Research E-mail



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


Loria: B206
IUT Charlemagne: 013