Skip to content
Snippets Groups Projects
Forked from Verified Software / psvg.doc.ic.ac.uk
191 commits behind the upstream repository.
maksimovic.md 602 B
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).

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