Accéder directement au contenu

Dylan Marinho

1
Documents
Identifiants chercheurs

Présentation

Introduction ------------ Dylan is a PhD student at [*Université de Lorraine*](http://doctorat.univ-lorraine.fr/en), at the [IAEM Doctoral School](http://doctorat.univ-lorraine.fr/en/doctoral-schools/iaem) in computer science. He belongs to the [VeriDis](https://team.inria.fr/veridis/) team of the [LORIA](https://www.loria.fr/en/) and [Inria](https://www.inria.fr/en). After a Bachelor’s degree and a first year of Master in computer science in the [*Université de Rennes 1*](http://www.univ-rennes1.fr), he has attended courses in the [*Institut d’Études Politiques de Rennes*](http://www.sciencespo-rennes.fr) (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*](http://www.ens-rennes.fr). He joined [*Université de Lorraine*](http://doctorat.univ-lorraine.fr/en) and [LORIA](https://www.loria.fr/en/) in October 2020 for his PhD. Interests --------- - Computer virology - Attack techniques and their detection - Formal methods, model checking
Présentation ------------ Dylan est en préparation d’un doctorat au sein de l'[Université de Lorraine](http://doctorat.univ-lorraine.fr/fr) et de l’École doctorale [IAEM](http://doctorat.univ-lorraine.fr/fr/les-ecoles-doctorales/iaem/presentation) en Science Informatique. Il est rattaché l’équipe [VeriDis](https://team.inria.fr/veridis/) du [LORIA](https://www.loria.fr/fr/) et de l'[Inria](https://www.inria.fr/). Après une Licence puis un Master 1 en Science Informatique (SIF) au sein de l'[Université de Rennes 1](http://www.univ-rennes1.fr), il a étudié pendant une année au sein de l'[Institut d’Études Politiques de Rennes](http://www.sciencespo-rennes.fr) (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](http://www.ens-rennes.fr). Il a rejoint l'[Université de Lorraine](http://doctorat.univ-lorraine.fr/fr) et le [LORIA](https://www.loria.fr/fr/) 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

Publications

laure-petrucci

Efficient Convex Zone Merging in Parametric Timed Automata

Étienne André , Dylan Marinho , Laure Petrucci , Jaco van de Pol
20th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2022, Warsaw, Poland. pp.200-218, ⟨10.1007/978-3-031-15839-1_12⟩
Communication dans un congrès hal-03772708v1