My name is Petar Maksimović. 

I currently hold the position of Research Fellow at Imperial College London, in the Program Specification and Verification Group, led by Professor Philippa Gardner

I also hold the position of Research Assistant Professor at the Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade.

Prior to my current appointment, I did a two-year post-doctoral stint at Inria Rennes - Bretagne Atlantique, working with Alan SchmittBefore that, I have completed my co-tutelle Ph.D. studies at the Faculty of Technical Sciences, University of Novi Sad, and the University of Nice Sophia Antipolis, under the supervision of Professor Silvia Ghilezan and Luigi Liquori.

In my spare time, I dabble in photography, chess, music, and yoga.

Contact Information

Postal address:

Petar Maksimović
Department of Computing
Imperial College London
South Kensington Campus
London, SW7 2AZ
United Kingdom

Telephone: +44 (0)20 7594 3140

e-mail: p [dot] maksimovic {at} imperial <dot> ac (dot) uk
Bubo Bubo Sibiricus