Forked from
Verified Software / psvg.doc.ic.ac.uk
191 commits behind the upstream repository.
-
Sacha Ayoun authoredSacha Ayoun authored
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.