Pavle Subotic

View on GitHub

Pavle Subotic PhD (UCL)

Intro

I am interested in researching and applying Automated Reasoning techniques to large-scale industrial problems, relating to Static Analysis, Compilers, Databases etc. I have a PhD from University College London (UCL) under Prof. Byron Cook.