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.

Group Publications

  1. A Program Logic for First-Order Encapsulated WebAssembly

    Proceedings of the 33 rd European Conference on Object-Oriented Programming (ECOOP’19). , pp. 10:1–10:30