Pavle Subotic

View on GitHub

Pavle Subotic PhD (UCL)

[first letter of firstname][lastname][at]gmail[dot]com


Most people call me Paul. I work @ Amazon, where I apply automated reasoning techniques to large scale industrial problems. I have a PhD from University College London (UCL) under Prof. Byron Cook. Before Amazon I worked at AWS where I started and co-developed Tiros, a tool that analyses Ec2 networks for security vulnerabilities. Before that, I spent almost a year at Oracle Labs where I worked on Souffle with my collegues Bernhard Scholz and Herbert Jordan. In my former life, I was a software engineer @ Optiver and Toshiba R&D.

Research Interests:

Various topics relating to program analysis and model checking