Leopoldo Teixeira
Researcher at Centro de Informática UFPE
Pernambuco, Brazil
Summary
👤
Senior🎓
Top SchoolLeopoldo Teixeira is an academic researcher and software engineer with 14+ years advancing software quality, productivity, and configurable systems as an assistant/associate professor at CIn/UFPE and a research lead at INES.IA. He directs the Software Testing and Analysis Research group and serves as Head of Graduate Studies, blending leadership in graduate education with hands-on research management. His work on software product lines, variability analysis, refactoring, formal methods and testing—shaped by a Humboldt fellowship at Universität des Saarlandes and a visiting term at Waterloo—focuses on foundations that make large, configurable systems safer to evolve. Leopoldo’s background spans both theory and practice, from early PHP/ActionScript development to leading national software verification efforts. He is known for connecting formal verification ideas to real-world refactoring and testing challenges, enabling safer evolution of product families. Based in Pernambuco, Brazil, he combines deep academic rigor with practical tooling and group-building experience.
14 years of coding experience
14 years of employment as a software developer
Eng, Computer Engineering, Eng, Computer Engineering at Universidade de PernambucoPhD, Computer Science, PhD, Computer Science at Universidade Federal de Pernambuco
Portuguese, English, Spanish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (34)
kotlin10
cin10
android10
ranking10
android-developers10
computer-science10
react10
javascript9
laravel9
science9
php8
pvs8
tla7
theory7
sat-solver7
Programming languages (8)
Github contributions (5)
if710/if710.github.io
Aug 2017 - Dec 2019
site da disciplina if710 - programação para dispositivos móveis (cin-ufpe)
Contributions:82 commits, 32 PRs, 99 pushes in 2 years 4 months
ufpecin-ufpedisciplinacinprograma
spgroup/theory-pl-refinement
Mar 2012 - Nov 2019
PVS specification files for the theory of Software Product Line Refinement
Contributions:65 commits, 2 PRs, 7 pushes in 7 years 8 months
homotopy-type-theoryrefinementpvsspecificationtla
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.