Bruno Lopes
Assistant Professor at Universidade Federal Fluminense
Rio de Janeiro, Brazil
Summary
👤
Senior🎓
Top SchoolBruno Lopes is an Assistant Professor at Universidade Federal Fluminense and a researcher at FRAME Lab with 15 years of experience bridging theoretical logic and practical formal methods. His work focuses on logics for concurrent systems, extensible theorem provers, normalization in natural deduction, ontologies, and formalization of multi-agent systems, with a strong grounding in proof theory. He was a visiting scholar at Inria and has played leadership roles in Brazil’s logic community, including multiple terms on the Brazilian Logic Society committee and coordinating the Logic Interest Group of the Brazilian Computer Society. Based in Rio de Janeiro, he combines deep academic research with applied tool development, often exploring how foundational proof techniques can improve the design of verifiable concurrent and multi-agent systems.
16 years of coding experience
Pontifical Catholic University of Rio de JaneiroMaster's degree, Computational Knowledge Modelling, Master's degree, Computational Knowledge Modelling at Universidade Federal de AlagoasTechnician, Informatics, Technician, Informatics at Centro Federal de Educação Tecnológica de Alagoas
Github Skills (6)
logic5
intermediate5
theorem5
textbook3
editor1
react1
Programming languages (2)
Github contributions (5)
blopesvieira/TableauxProver
Mar 2011 - May 2012
Contributions:103 commits in 1 year 2 months
proversemi-automatictheoremsemitheorem-prover
silky/MoinMoin-Parser-BibTeX2
Aug 2010 - Sep 2011
Contributions:3 commits in 1 year
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.