Member Profile
![](https://owsd.net/sites/default/files/styles/member_image/public/Bruno.jpg?itok=m95hB4Qz&c=636079bc1611d4d13afe8499b9fde38d)
Membership type: friends
Bruno Lopes
Country of origin: Brazil Currently in: Brazil, Niterói General field of specialization: Computing and Information Technology-
Degrees
2014 Doctorate Computing and Information Technology -
Current Research Activities
Computing and Information Technology
I am a Professor at Universidade Federal Fluminense (IC/UFF) and researcher at FR∀M∃ Lab. I have been a visiting scholar at Deduc˫eam/INRIA from which I keep active partnership together with Université Lyon 3 and TecMF/PUC-Rio. I have been working mainly with logics for concurrent systems but I also have been working into the development of extensible theorem provers, normalisation for natural deduction systems, ontologies, formalisation of multi-agent systems and proof theory for logic systems. I am also on the committee of the Brazilian Logic Society (SBL) and I am the coordinator of the Logic Interest Group of the Brazilian Computer Society (SBC).
Publications resulting from Research:
LOPES, B.; Benevides, M. ; HAEUSLER, E. H. . Propositional dynamic logic for Petri Nets. Logic Journal of the IGPL, v. 23, p. 721-736, 2014.
LOPES, Bruno; Benevides, M. ; Haeusler, Edward Hermann . Extending Propositional Dynamic Logic for Petri Nets. Electronic Notes in Theoretical Computer Science, v. 305, p. 67-83, 2014.
Benevides, Mario R. F. ; Lopes, Bruno ; Haeusler, Edward Hermann . Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. THEORETICAL COMPUTER SCIENCE, p. 22-36, 2018.
Lopes, Bruno; Nalon, Cláudia ; Haeusler, Edward Hermann . Reasoning about Petri nets: a calculus based on Resolution and Dynamic Logic. ACM Transactions on Computational Logic (in press).
Benevides, Mario R. F. ; Lopes, Bruno ; Haeusler, Edward Hermann . Propositional Dynamic Logic for Petri Nets with Iteration. In: International Colloquium on Theoretical Aspects of Computing, 2016, Taipei. Theoretical Aspects of Computing - ICTAC 2016 (LNCS), 2016. v. 9965. p. 441-456.
SANTOS, J. B. ; Lopes, Bruno ; Haeusler, Edward Hermann . Counter-Model Generation from Failed Proof Searches in Propositional Minimal Implicational Logic. In: Logical and Semantic Frameworks with Applications, 2017, Brasília. Logical and Semantic Frameworks with Applications, 2017.
GRILO, ERICK SIMAS ; Lopes, Bruno . Formalization and Certification of Software for Smart Cities. In: 2018 International Joint Conference on Neural Networks (IJCNN), 2018, Rio de Janeiro. 2018 International Joint Conference on Neural Networks (IJCNN), 2018. p. 1-669.
Current profession
Current professional activities type:ResearchHigher Education StudyI am a Professor at Universidade Federal Fluminense (IC/UFF) and researcher at FR∀M∃ Lab. I have been a visiting scholar at Deduc˫eam/INRIA from which I keep active partnership together with Université Lyon 3 and TecMF/PUC-Rio. I have been working mainly with logics for concurrent systems but I also have been working into the development of extensible theorem provers, normalisation for natural deduction systems, ontologies, formalisation of multi-agent systems and proof theory for logic systems. I am also on the committee of the Brazilian Logic Society (SBL) and I am the coordinator of the Logic Interest Group of the Brazilian Computer Society (SBC).