Antonio’s ERC Starting grant UNREAL (now UKRI Guarantee grant) has started and investigate the next generation of provably reliable probabilistic models and programs in the next five years.