Bruno Lopes

Bruno Lopes is a Professor at Universidade Federal Fluminense (UFF) and a researcher at the FR∀M∃ Lab. He holds a D.Sc. in Informatics (Theory of Computation) from PUC-Rio and has conducted postdoctoral work at INRIA (France). His academic roles include serving on the Brazilian Logic Society's directive committee (SBL) from 2017-2019, 2019-2021, and 2023-2025, and as 2nd Vice-President of SBL. He also coordinated the Logic Interest Group at the Brazilian Computer Society (SBC, 2020-2024).

Research focuses on formal methods, logic systems, and theorem proving. Notable areas include proof theory, modal logics, concurrent systems, and multi-agent systems formalization. His work intersects theoretical foundations with applied domains like extensible theorem provers and ontology development.

Education: D.Sc. in Informatics (PUC-Rio), M.Sc. in Geostatistics (UFAL), B.Sc. in Computer Science (UFAL). Teaches courses such as Logic and Formal Methods (TCC00305), Logic Programming (TCC00304), and Programming I (TCC00308). Active in international collaborations with INRIA and Université Lyon 3.

Advances formal methods through projects like the TecMF/PUC-Rio initiative. His research emphasizes logical frameworks for concurrent systems and extensible theorem proving tools.