Dylan Marinho
Maître De Conférences at Télécom SudParis
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolDylan Marinho is an Associate Professor (Maître de conférences) in Computer Science at Sorbonne Université and a researcher in the LIP6 MoVe team, combining academic rigour with eight years of practical experience in security and formal methods. He earned a PhD from Université de Lorraine in 2023 for work on safety and security analysis of timed systems under uncertainty, and holds complementary training in strategic intelligence from Sciences Po Rennes. His background includes postdoctoral research at Télécom SudParis and multiple internships at Inria, Loria and Université Laval focused on semantic and graph-based approaches to malware detection. Earlier entrepreneurial experience as founder and director of a web development company gives him a pragmatic edge in project management and client-facing delivery. Based in Paris, he bridges theoretical algorithmics and real-world security challenges, often applying model checking and dependency-graph analyses to hard problems in cybersecurity.
8 years of coding experience
Doctorat en Informatique, Informatics, Doctorat en Informatique, Informatics at Université de LorraineMaster 1 Science Informatique, Computer Science, Master 1 Science Informatique, Computer Science at Université de Rennes 1Master 2 (M2) SEDEFIS, Sécurité, Défense et Intelligence Stratégique, Master 2 (M2) SEDEFIS, Sécurité, Défense et Intelligence Stratégique at Sciences Po RennesClasses Préparatoires aux Grandes Écoles, Mathematics and Computer Science, Classes Préparatoires aux Grandes Écoles, Mathematics and Computer Science at Lycée Marcelin BerthelotMaster's degree, Computer Science, Master's degree, Computer Science at École normale supérieure de RennesBaccalauréat, Scientifique, Très Bien, Baccalauréat, Scientifique, Très Bien at Notre-Dame-des-Missions
Portuguese, English
Github Skills (2)
model-checking10
real-time-systems10
Programming languages (1)
Github contributions (5)
DylanMarinho/DylanMarinho
Oct 2022 - Sep 2024
Contributions:1 push, 1 branch in 1 year 11 months
DylanMarinho/IMITATOR-library
Jun 2023 - Feb 2024
Contributions:1 release, 9 pushes, 1 branch in 7 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.