Daniele Santamaria
Professore Assistente at Università di Catania
Agrigento, Sicily, Italy
Summary
👤
Senior🎓
Top SchoolDaniele Santamaria is an assistant professor and researcher with a PhD in Mathematics and Computer Science from the University of Catania, bringing a decade of academic and applied experience in automated reasoning, semantic web technologies, and set-theoretic representations for OWL. His work bridges formal logic and practical ontologies, with doctoral research on multi-sorted computable set theory applied to Semantic Web problems and earlier projects on semantic cataloguing for cultural heritage. Based in Agrigento, Sicily, he has progressed from PhD student and postdoc to faculty at his alma mater while also teaching and consulting in programming, algorithms, and databases. Colleagues appreciate his combination of rigorous theoretical foundations and hands-on software development, including past work building Java parsers for legal document formats. He frequently translates formal methods into usable tools and curricula, making formal reasoning accessible to students and practitioners.
10 years of coding experience
8 years of employment as a software developer
Diploma di Liceo Classico, Diploma di Liceo Classico at Liceo Classico Vincenzo LinaresDoctor of Philosophy - PhD, Mathematics and Computer Science, Doctor of Philosophy - PhD, Mathematics and Computer Science at Università di Catania
English, Italian
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (70)
ether10
rxjava10
solidity9
smart-contracts9
reactivex9
blockchain9
ethereum9
java9
solc9
android9
android-library9
uri8
cpp8
contract8
programming-language7
Programming languages (6)
Github contributions (5)
dfsantamaria/SpringBootFastDeploy
Jul 2022 - Feb 2023
Contributions:262 commits, 241 pushes, 5 branches in 7 months
dfsantamaria/DL4xD-Reasoner
May 2017 - Feb 2021
A Reasoner for 4LQSR
Contributions:4 PRs, 395 pushes, 30 branches in 3 years 9 months
reasoner
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.