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 (28)
cin10
php8
pvs8
laravel8
javascript8
tla7
theory7
refinement7
ranking7
rfc7
science6
react6
sat-solver6
specification6
computer-science5
Programming languages (6)
Github contributions (5)
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
if710/2017.2-codigo
Aug 2017 - Nov 2017
Contributions:16 commits, 15 pushes, 1 branch 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.