Menu

You are here

Member Profile

Membership type: friends

Bruno Lopes

Country of origin: Brazil Currently in: Brazil, Niterói General field of specialization: Computing and Information Technology
Academic Background

Degrees

2014 Doctorate Computing and Information Technology
Research and Profession

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).

Research Keywords: 
Logic
Proof theory
Automated reasoning

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: 
Research
Higher Education Study
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).

Search form