Rafael Cardoso

Director Of Undergraduate Pathways In Computing Science

Aberdeen City, Scotland, United Kingdom
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Rafael Cardoso is a research-driven computing science leader with 13 years' experience bridging academia and applied AI, currently directing Undergraduate Pathways in Computing Science at the University of Aberdeen while lecturing there. He holds a PhD in Computer Science and specializes in Multi-Agent Systems, Multi-Agent Planning and Neuro-Symbolic AI, focusing on agent programming languages, goal-allocation and coordination mechanisms. His career includes research posts at Manchester and Liverpool, where he translated theoretical multi-agent models into practical benchmarks and planners. Known for combining rigorous research with curriculum leadership, he brings deep domain expertise to developing student pathways and scalable teaching practices. A bilingual academic from Brazil now based in Aberdeen, he often blends formal methods with empirical evaluation to push agent-based systems toward real-world applicability.
code13 years of coding experience
job4 years of employment as a software developer
bookBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Centro Universitário Franciscano
bookDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Pontifícia Universidade Católica do Rio Grande do Sul
github-logo-circle

Github Skills (11)

ros9
verification7
jekyll6
simulation5
multi-agent3
autonomy3
testing3
programming-language2
model-checking2
reinforcement-learning1
machine-learning1

Programming languages (7)

JavaC++SCSSTeXHTMLRubyPython

Github contributions (5)

github-logo-circle
Contributions:23 commits, 8 pushes in 3 years 8 months
Contributions:154 pushes, 3 branches in 7 years 5 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.
Request Free Trial