maksimovic.md

---
firstname: Petar
lastname: Maksimović
search_lastname: Maksimovic
position: Researcher
webpage: https://sites.google.com/site/petarmaksimovic1981/
email: p.maksimovic@imperial.ac.uk
github: PetarMax
alumnus: false
projects:
  - web
  - moc
  - sl
  - gillian
---

Petar Maksimović is a Research Fellow with the group and the Academic Program Manager for the [Research Institute on Verified Trustworthy Software Systems (VeTSS)](https://vetss.org.uk/).

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