Giuliano Rosella
Postdoctoral Researcher at Institute of Computer Science, The Czech Academy of Sciences
Czechia
Summary
🎓
Top SchoolGiuliano Rosella is a postdoctoral researcher and logic specialist with eight years of experience bridging formal logic, algebraic methods, and probabilistic models to study causation, counterfactuals, and knowledge representation. Trained with a PhD from the University of Turin and an MSc in Logic from the University of Amsterdam, he develops rigorous semantic and algebraic tools—ranging from DAGs and Boolean algebras to Kripke models and belief functions—to make causal inferences that work in both deterministic and uncertain settings. His work spans academic visits across Europe (III A-CSIC, Hamburg, Amsterdam) and addresses practical questions like inferring counterfactual outcomes of interventions (e.g., vaccination effects). Open to applying his interdisciplinary, research-driven problem solving beyond academia, he combines deep theoretical fluency with a knack for translating abstract frameworks into clear models for real-world reasoning.
7 years of coding experience
6 years of employment as a software developer
Bachelor's degree, Philosophy, 110/110 cum laude, Bachelor's degree, Philosophy, 110/110 cum laude at Università di TrentoMaster of Science - MS, Logic, Master of Science - MS, Logic at Universiteit van AmsterdamProgramming languages (2)
Github contributions (5)
giulianorosella/Probability-and-Boolean-Algebras-of-Conditionals
Mar 2022 - Jul 2022
Contributions:1 review, 14 commits, 1 PR in 3 months
giulianorosella/website
Oct 2024 - Dec 2024
Contributions:13 pushes, 1 branch in 2 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.