José Duarte
Profesor Titular De Universidad at Universidad de Sevilla
Seville, Spain
Summary
👤
Senior🎓
Top SchoolJosé Duarte is a university professor and researcher with 13 years of experience specializing in variability-intensive systems, automated model analysis, and cybersecurity. He earned a co-tutored PhD from Universidad de Sevilla and Université de Rennes 1, with award-winning thesis work carried out across the USA, France, and Spain. José developed widely used variability tooling (FaMa, BeTTy) and translated that theoretical expertise into practical model-driven solutions for protocol filtering during a postdoc at INRIA on a defense-funded cybersecurity project. He held competitive fellowships (Talentia, Juan de la Cierva) and co-founded the Diverso Lab to consolidate and scale automated analysis research. Now a Profesor Titular de Universidad in Seville, he combines teaching with organizing conferences and serving on program committees, bridging academic rigor with applied tooling for industry. A less obvious strength is his track record of turning deep formal methods into usable tools that are adopted beyond academia.
13 years of coding experience
3 years of employment as a software developer
University of SevilleDoctor of Philosophy (Ph.D.), Informatique, Doctor of Philosophy (Ph.D.), Informatique at Université de Rennes I
English, French, Spanish
Github Skills (45)
benchmark9
pysat9
benchmarking9
neat9
backend9
hosting9
flask-api8
prediction-model8
operation8
fact7
mls7
software-product-lines7
api7
flask7
spl7
Programming languages (11)
Github contributions (5)
jagalindo/jagalindo.github.io
Nov 2016 - Oct 2020
Contributions:34 pushes, 1 branch in 3 years 11 months
jagalindo/edistribucion
Sep 2020 - Sep 2021
API para e-distribución (Endesa distribución)
Contributions:17 commits, 3 PRs, 20 pushes in 1 year
apiphptypescript
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.