Certified Computer Vision & Image Processing