Pavle Subotic: Scalable logic defined static analysis. University College London, UK 2019