Rafael Cardoso
Director Of Undergraduate Pathways In Computing Science
Aberdeen City, Scotland, United Kingdom
Summary
👤
Senior🎓
Top SchoolRafael 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.
13 years of coding experience
4 years of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Centro Universitário FranciscanoDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Pontifícia Universidade Católica do Rio Grande do Sul
Github Skills (21)
ros8
verification8
jekyll6
crossword6
robocup5
robotics5
simulation4
multi-agent4
workspace4
publish4
agent3
autonomy3
checker3
testing3
machine-learning3
Programming languages (7)
Github contributions (5)
autonomy-and-verification-uol/gwendolen-rosbridge
Sep 2018 - May 2022
Contributions:23 commits, 8 pushes in 3 years 8 months
autonomy-and-verification-uol/autonomy-and-verification-uol.github.io
Oct 2018 - Jul 2023
Website for the Autonomy and Verification Laboratory in the University of Liverpool.
Contributions:8 PRs, 93 pushes, 2 branches in 4 years 9 months
laboratoryautonomyliverpooluniversity-of-liverpooljekyll
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.