???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Petar Maksimovic

Nomes de citação

  • Maksimovic, Petar

Identificadores de autor

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

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação
Formação
Grau Classificação
2008/10/01 - 2013/10/15
Concluído
 PhD in Computer Science and Applied Mathematics (Doctor of Philosophy)
Univerzitet u Novom Sadu Fakultet tehnickih nauka, Sérvia

Inria Centre de Recherche Sophia Antipolis Méditerranée, França
"Development and verification of probability logics and logical frameworks" (TESE/DISSERTAÇÃO)
2007/10/01 - 2008/09/15
Concluído
 MSc in Mathematics and Computer Science (Master)
Univerzitet u Beogradu Matematicki Fakultet, Sérvia
"Simple characterization of functionally complete one-element sets of propositional connectives" (TESE/DISSERTAÇÃO)
2007/09/18
Concluído
 BSc in Mathematics and Computer Science (Bachelor)
Univerzitet u Beogradu Matematicki Fakultet, Sérvia
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2013/12/01 - 2015/12/01 Pós-doutorado (Investigação) Inria Centre de Recherche Rennes Bretagne Atlantique, França
Inria Centre de Recherche Rennes Bretagne Atlantique, França

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2015/12/02 - Atual Research Fellow Imperial College London, Reino Unido
Imperial College London, Reino Unido
2015/09/01 - Atual Research Assistant Professor Srpska Akademija Nauka i Umetnosti Matematicki Institut, Sérvia
Srpska Akademija Nauka i Umetnosti Matematicki Institut, Sérvia
Produções

Publicações

Artigo em conferência
  1. Gabriela Sampaio; José Fragoso Santos; Maksimovic, Petar; Philippa Gardner. "A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications". Trabalho apresentado em 34th European Conference on Object-Oriented Programming (ECOOP'2020), Berlin, 2020.
    Aceite para publicação
  2. José Fragoso Santos; Maksimovic, Petar; Sacha-Elie Ayoun; Philippa Gardner. "Gillian, Part I: A Multi-Language Framework for Symbolic Execution". Trabalho apresentado em 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020), London, 2020.
    Aceite para publicação
  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
Artigo em revista
  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
Capítulo de livro
  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

Outros

Outra produção
  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
Distinções

Prémio

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