Nazareno Aguirre
Researcher at Universidad Nacional de Río Cuarto
Río Cuarto, Córdoba, Argentina
Summary
👤
Senior🎓
Top SchoolNazareno Aguirre is a researcher and lecturer in computer science at the National University of Río Cuarto and a CONICET researcher with over a decade of professional experience grounded in formal methods and program analysis. He earned a PhD from King's College London and has led and contributed to nationally funded projects that apply formal approaches to improve software development practices. In the classroom he teaches data structures, algorithm design, formal methods, and software engineering, bridging rigorous theory with practical course delivery. His work combines the foundations of software engineering with automated formal analysis, reflecting a rare blend of academic rigor and applied research impact in Argentina. Despite a career rooted in academia, he maintains a problem-solving, tool-building orientation born from his early research assistant experience at King's College.
12 years of coding experience
3 years of employment as a software developer
Analista en Computación, Computer Science, Analista en Computación, Computer Science at Universidad Nacional de Río CuartoDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at King's College London, U. of London
Github Skills (13)
rio6
design-by-contract5
eiffel3
contract3
converter3
nodejs3
avl-tree2
java2
iterative2
alloy1
oracle1
counter1
repair1
Programming languages (1)
Github contributions (5)
nmaguirre/nmaguirre.github.io
Mar 2023 - Mar 2025
Contributions:64 pushes, 6 branches in 2 years
nmaguirre/cleisewg
Jun 2021 - Jun 2021
Contributions:45 pushes, 1 branch in 1 day
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.