Manuel Capel-tunon
Professor at at University of Granada (Spain)
Greater Granada Metropolitan Area Spain
Summary
👤
Senior🎓
Top SchoolManuel I. Capel-tunon is a seasoned academic and computer scientist with over three decades of experience in formal methods, temporal logics, and concurrent real-time systems, holding a PhD from the University of Granada and a full professorship there. He leads the Concurrent Systems research group and has driven practical advances such as UML-RT model transformations, an on-the-fly model-checker for Future Interval Logic, and the compositional MEDISTAM-RT verification method for critical systems. With more than 40 publications and an editorial role at the Journal of Network and Computer Applications, he bridges rigorous theory and applied verification for embedded and safety-critical software. Unusually for a long-serving professor, he also contributes to open-source engineering—fixing Java backend issues in the widely used Sakai LMS—demonstrating hands-on expertise in real-world educational platforms.
11 years of coding experience
5 years of employment as a software developer
PhD (Doctor), Computer Science, PhD (Doctor), Computer Science at University of Granada
Spanish, English, French
Github Skills (6)
javas10
sakai10
lms10
java10
grades9
tomcat7
Programming languages (2)
Github contributions (4)
sakaiproject/sakai
Feb 2015 - Mar 2018
Sakai is a freely available, feature-rich technology solution for learning, teaching, research and collaboration. Sakai is an open source software suite developed by a diverse and global adopter community.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:46 commits, 32 PRs, 14 comments in 3 years 1 month
Contributions summary:Manuel primarily focused on resolving issues and implementing enhancements within the Sakai LMS platform's assignment and grading tools. Their work involved modifying Java code related to assignment submissions, grade reports, and group submissions. Furthermore, they addressed bugs affecting date displays and spreadsheet generation within the assignment tool, demonstrating expertise in the platform's core functionalities. The user also contributed to the SAMigo module by fixing issues related to question import and assessment preview.
diversesakaivlefeature-richfreely
manuelal/sakai
Feb 2015 - Jun 2018
Contributions:98 pushes, 34 branches in 3 years 4 months
diversesakaiteachingfeature-richfreely
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.