Dylan Marinho
Associate Professor
FranceResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Dylan Marinho is an Associate Professor at Sorbonne Université in France. His research primarily focuses on formal methods in computer science, particularly in the area of timed model checking. He has recently contributed to the field with his article on guaranteeing timed opacity using parametric timed model checking. Professor Marinho's work aims to enhance the reliability and security of system designs through rigorous formal verification techniques.
Articles (1)
Year:
2022
Collaborators (3)
Didier Lime
Professeur
Ecole centrale de Nantes
Étienne André
Professor
Université Sorbonne Paris Nord Institut Galilée
Jun Sun
Professor
Singapore Management University
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.