Pedro Terraf
Professor at Universidad Nacional de Córdoba
Cordoba, Córdoba, Argentina
Summary
🤩
Rockstar🎓
Top SchoolPedro Terraf is a mathematician and professor at Universidad Nacional de Córdoba with nine years of research and teaching experience applying formal logic across algebra, probabilistic computation, and the mechanized formalization of disciplines. He leverages proof assistants such as Isabelle and Lean alongside tools like LaTeX, Python, and Haskell to bridge rigorous theory and practical formal verification. His work emphasizes making technical material accessible, backed by 20+ years of in-person teaching and advising that sharpened his communication and pedagogy. Based in Córdoba, Argentina, he holds a PhD in Mathematics from Universidad Nacional de Córdoba and maintains active academic roles including associate and full professorships. Beyond conventional research, Pedro blends deep theoretical insight with hands-on tooling, enabling reproducible, machine-checked arguments in domains that traditionally resist formalization.
9 years of coding experience
Doctor of Philosophy - PhD Mathematics, Doctor of Philosophy - PhD Mathematics at Universidad Nacional de Córdoba
Github Skills (29)
in-progress10
mathematics10
building-blocks10
computer-algebra-system10
cardano10
dfinity10
computer-algebra9
mathematical9
formal-methods9
blockchain9
plutus9
ada9
rust9
theorem-proving9
math8
Programming languages (4)
Github contributions (5)
sterraf/pallas
Aug 2024 - Apr 2025
Rust-native building blocks for the Cardano blockchain ecosystem
Contributions:123 pushes, 57 branches in 7 months
sterraf/mylearninglean
Oct 2022 - Nov 2023
Contributions:91 pushes, 2 branches in 1 year 1 month
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.