???global.info.a_carregar???
Identification

Personal identification

Full name
Petar Maksimovic

Citation names

  • Maksimovic, Petar

Author identifiers

Ciência ID
C11D-1058-B76D
ORCID iD
0000-0002-0400-7467

Knowledge fields

  • Exact Sciences - Computer and Information Sciences
Education
Degree Classification
2008/10/01 - 2013/10/15
Concluded
 PhD in Computer Science and Applied Mathematics (Doctor of Philosophy)
Univerzitet u Novom Sadu Fakultet tehnickih nauka, Serbia

Inria Centre de Recherche Sophia Antipolis Méditerranée, France
"Development and verification of probability logics and logical frameworks" (THESIS/DISSERTATION)
2007/10/01 - 2008/09/15
Concluded
 MSc in Mathematics and Computer Science (Master)
Univerzitet u Beogradu Matematicki Fakultet, Serbia
"Simple characterization of functionally complete one-element sets of propositional connectives" (THESIS/DISSERTATION)
2007/09/18
Concluded
 BSc in Mathematics and Computer Science (Bachelor)
Univerzitet u Beogradu Matematicki Fakultet, Serbia
Affiliation

Science

Category
Host institution 		Employer
2013/12/01 - 2015/12/01 Postdoc (Research) Inria Centre de Recherche Rennes Bretagne Atlantique, France
Inria Centre de Recherche Rennes Bretagne Atlantique, France

Others

Category
Host institution 		Employer
2015/12/02 - Current Research Fellow Imperial College London, United Kingdom
Imperial College London, United Kingdom
2015/09/01 - Current Research Assistant Professor Srpska Akademija Nauka i Umetnosti Matematicki Institut, Serbia
Srpska Akademija Nauka i Umetnosti Matematicki Institut, Serbia
Outputs

Publications

Book chapter
  1. Maksimovic, Petar. "Towards Logic-Based Verification of JavaScript Programs". 2017.
    10.1007/978-3-319-63046-5_2
  2. Maksimovic, Petar. "HOCore in Coq". 2015.
    10.1007/978-3-319-22102-1_19
  3. Maksimovic, Petar. "An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks". 2012.
    10.1007/978-3-642-30039-4_2
Conference paper
  1. Gabriela Sampaio; José Fragoso Santos; Maksimovic, Petar; Philippa Gardner. "A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications". Paper presented in 34th European Conference on Object-Oriented Programming (ECOOP'2020), Berlin, 2020.
    Accepted
  2. José Fragoso Santos; Maksimovic, Petar; Sacha-Elie Ayoun; Philippa Gardner. "Gillian, Part I: A Multi-Language Framework for Symbolic Execution". Paper presented in 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020), London, 2020.
    Accepted
  3. Maksimovic, Petar. "Symbolic Execution for JavaScript". 2018.
    10.1145/3236950.3236956
  4. Maksimovic, Petar. "A Backward-Compatible Protocol for Inter-routing over Heterogeneous Overlay Networks". 2013.
    10.1145/2480362.2480485
Journal article
  1. Maksimovic, Petar. "JaVerT 2.0: Compositional Symbolic Execution for JavaScript". Proceedings of the ACM on Programming Languages (2019): http://dx.doi.org/10.1145/3290379.
    10.1145/3290379
  2. Maksimovic, Petar. "A Program Logic for First-Order Encapsulated WebAssembly". Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany (2019): http://drops.dagstuhl.de/opus/volltexte/2019/10801/.
    10.4230/LIPICS.ECOOP.2019.9
  3. Maksimovic, Petar. "Plugging in Proof Development Environments using Locks in LF". Mathematical Structures in Computer Science (2018): http://dx.doi.org/10.1017/s0960129518000105.
    10.1017/s0960129518000105
  4. Maksimovic, Petar. "JaVerT: JavaScript Verification Toolchain". Proceedings of the ACM on Programming Languages (2018): http://dx.doi.org/10.1145/3158138.
    10.1145/3158138
  5. Maksimovic, Petar. "LLFP: A Logical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads". Logical Methods in Computer Science ; Volume 13 (2017): https://lmcs.episciences.org/3771.
    10.23638/LMCS-13(3:2)2017
  6. Maksimovic, Petar. "An Open Logical Framework". Journal of Logic and Computation (2016): http://dx.doi.org/10.1093/logcom/ext028.
    10.1093/logcom/ext028
  7. Maksimovic, Petar. "Analyzing the Exhaustiveness of the Synapse Protocol". Peer-to-Peer Networking and Applications (2015): http://dx.doi.org/10.1007/s12083-014-0293-z.
    10.1007/s12083-014-0293-z
  8. Maksimovic, Petar. "First Steps Towards Probabilistic Justification Logic". Logic Journal of IGPL (2015): http://dx.doi.org/10.1093/jigpal/jzv025.
    10.1093/jigpal/jzv025
  9. Maksimovic, Petar. "Simple Characterization of Functionally Complete One-Element Sets of Propositional Connectives". MLQ (2006): http://dx.doi.org/10.1002/malq.200610009.
    10.1002/malq.200610009

Other

Other output
  1. Gillian: Compositional Symbolic Execution for All. 2020. Maksimovic, Petar.
  2. A Program Logic for First-Order Encapsulated WebAssembly. 2018. Maksimovic, Petar.
  3. LLFP: A Logical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads. 2017. Maksimovic, Petar.
    10.23638/lmcs-13(3:2)2017
  4. Gluing Together Proof Environments: Canonical Extensions of LF Type Theories featuring Locks. 2015. Maksimovic, Petar.
    10.4204/eptcs.185.1
Distinctions

Award

2019 Research Award on Continuous Reasoning Research ($50K)
Facebook Inc, United States
2019 Genifer: A General Verification and Testing Framework for Verified High Assurance Software (£77K)
National Cyber Security Centre, United Kingdom