PS Fellow, Associate Professor Andrew Cropper works on combining logical reasoning and machine learning to help scientific breakthroughs happen.