Scholar
Dario Stein
Google Scholar ID: Gqi1NzwAAAAJ
Radboud University Nijmegen
Citations & Impact
Citations
207
H-index
8
i10-index
6
Publications
20
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Conference paper 'Graphical Quadratic Algebra' to appear in ICTAC 2025
- Conference paper 'Compositional Inference for Bayesian Networks and Causality' to appear in MFPS 2025
- Conference paper 'Random Variables, Conditional Independence and Categories of Abstract Sample Spaces' presented at the 40th ACM/IEEE MFPS Symposium
- Best Presentation Award at CALCO 2023
- Frequent speaker at international conferences and seminars including LICS, POPL, ACT, FoSSaCS, and ICALP
Background
- Postdoctoral Researcher in Theoretical Computer Science at Radboud University Nijmegen
- Affiliated with the Interdisciplinary Hub for Security, Privacy and Data Governance (iHub) and the Institute for Computing and Information Sciences (iCIS)
- Broad research interests in Probability Theory, Semantics of Programming Languages, and Category Theory
- Focuses on emerging fields such as probabilistic programming and categorical probability for verifiable and explainable AI
- Also interested in causal inference, interactive theorem proving, type theory, functional programming with effects, string diagrams, quantum computation, and universal algebra
Co-authors