Brais Castro
Assistant Professor at Universidade da Coruña
Galicia, Spain
Summary
👤
Senior🎓
Top SchoolBrais Castro is an AI researcher and assistant professor at Universidade da Coruña with eight years of experience bridging academic research and applied engineering. He is pursuing a PhD in Computational Science while focusing on explainable AI and inductive learning, and contributes to the IRLab and CITIC research groups. His work targets both inherently interpretable models and techniques to add explainability to black-box algorithms, with current projects applying AI to 3D-printed medicines and donor–recipient matching for liver transplants. Having moved from web development into research and teaching roles, he combines practical engineering skills with rigorous experimental methodology and a strong interest in human-centered AI for healthcare.
8 years of coding experience
1 year of employment as a software developer
Doctorado en Computación, Computational Science, Doctorado en Computación, Computational Science at University of A Coruna
English
Github Skills (24)
answer-set-programming9
wolfram-language9
logic-programming8
sympy7
debugging7
tlaplus7
logic7
sky5
classification3
solver3
relational-algebra3
developer-tools3
ipc3
desktop2
linux2
Programming languages (3)
Github contributions (5)
bramucas/turbojumper
Feb 2019 - May 2019
Sky is not the limit. Will you get higher?
Contributions:1 PR, 84 pushes, 19 branches in 3 months
sky
bramucas/xclingo
Jan 2020 - Jun 2021
Explains the conclusions of a logic program.
Contributions:109 commits, 56 pushes, 27 branches in 1 year 5 months
logicsympywolfram-languagetlaplus
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.