Effective and flexible SMT-streamlined software model checking
Approximate Bayesian inference based on dense matrices using INLA
Bachelor Info Day, un'occasione per conoscere l'USI
XXVII Dies academicus