The objective of SAPienT is to develop foundational techniques for programming distributed software correctly with a focus on probabilistic models, laying the basis for making AI system correct. This work will be carried out as part of a research stay at the department of computer science, University of Oxford visiting Prof. Nobuko Yoshida. The project will produce research articles.