Bernardo Alkmim
Pesquisador at TecMF/PUC-Rio
Rio de Janeiro, Brazil
Summary
👤
Senior🎓
Top SchoolBernardo Alkmim is a researcher and software engineer with 11 years of experience focused on automated theorem proving, logic, and theoretical computer science. Holding a Bachelor's and currently pursuing a Master's in Computer Science (Theory of Computation) at PUC-Rio, he combines strong mathematical foundations with practical development skills gained in distributed systems and testing projects. At TecMF/PUC-Rio he researches proof automation and previously implemented a Natural Deduction library for propositional logic in the Lean proof assistant. His background includes hands-on work in Java-based large projects, automated testing, and multiple teaching/monitoring roles in programming, logic and real analysis that sharpen his ability to explain complex concepts. Based in Rio de Janeiro, he brings a rare blend of formal-methods research and pragmatic engineering, with additional interests spanning algebra and musical theory. Colleagues value his precise, logic-driven approach and his talent for turning formal ideas into reusable proof artifacts.
11 years of coding experience
Pontifical Catholic University of Rio de JaneiroEnsinos Fundamental e Médio, Ensinos Fundamental e Médio at Colégio Santo Antônio Maria Zaccaria
Portuguese, English, SpanishGithub contributions (5)
Bpalkmim/SQLtoSWRL
Sep 2017 - Jun 2020
Contributions:20 commits, 15 pushes, 1 branch in 2 years 9 months
leokaplan/Compiladores
Mar 2015 - Jul 2015
Contributions:93 pushes in 3 months
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.