Javier Troya
Associate Professor
Malaga, Andalusia, Spain
Summary
👤
SeniorJavier Troya is an associate professor in Málaga with 11 years of research and teaching experience in model-driven engineering, performance and reliability analysis, and software testing. He holds an international PhD (with honours) and has held postdoctoral positions in Vienna, King's College London, and the University of Waterloo, blending strong theoretical foundations with applied research. His work focuses on analysis and testing of software, model transformations, query optimizations and digital twins, often bridging formal methods and practical tool support. Javier’s career reflects sustained international collaboration and mobility, and his MSc work on formalizing ATL semantics in Maude hints at a longstanding interest in formal semantics that complements his current applied MDE research.
11 years of coding experience
12 years of employment as a software developer
English, Spanish, German
Github Skills (7)
rest-api4
valine4
python3
restful3
saltstack2
css1
javascript1
Programming languages (1)
Github contributions (5)
javitroya/sbfl-symbolic-execution-mt
Apr 2020 - Jul 2022
Contributions:1 release, 47 pushes, 1 branch in 2 years 3 months
javitroya/SBFL_MT
Oct 2017 - Oct 2017
Contributions:8 commits, 7 pushes, 1 branch in 1 day
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.