Rodrigo Bernardo
Senior Software Engineer at OutSystems
Lisbon, Lisbon, Portugal
Summary
👤
Senior🎓
Top SchoolRodrigo Bernardo is a Senior Software Engineer based in Lisbon with 11 years of experience building production-grade systems at OutSystems and research experience at Carnegie Mellon. He specializes in programming languages and formal methods, applying them to improve software quality and security, and completed a master’s thesis in program synthesis during an internship at OutSystems. Rodrigo’s career progression from research intern to senior engineer at the same company underscores a blend of deep academic grounding (EPFL, Instituto Superior Técnico) and practical impact in a commercial platform. He brings a research-informed approach to engineering problems, focusing on verifiable, robust solutions rather than quick fixes. Colleagues value his ability to translate formal techniques into pragmatic tooling and improved development workflows.
11 years of coding experience
3 years of employment as a software developer
Computer Science, Computer Science at EPFL (École polytechnique fédérale de Lausanne)Licenciatura, Engenharia Informática e de Computadores, Licenciatura, Engenharia Informática e de Computadores at Instituto Superior Técnico
Stackoverflow
43reputation
237reached
0answers
1question
Github Skills (78)
emacs9
spacemacs9
vim9
emacs-lsp8
melpa8
mojo8
openid8
agda7
synthesizer7
theory7
polymorphism7
authentication7
oauth7
haskell6
asp-net6
Programming languages (10)
Github contributions (5)
sat-group/sypet
Jul 2019 - Nov 2020
Program synthesis tool.
Contributions:136 commits, 2 PRs, 80 pushes in 1 year 4 months
program-synthesissynthesissynthesizermojo
rodamber/automaton
Dec 2017 - Oct 2018
Contributions:56 pushes, 21 branches in 10 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.