Ernesto Copello
Blockchain Developer at SpaceDev
Montevideo, Montevideo, Uruguay
Summary
👤
Senior🎓
Top SchoolErnesto Copello is a blockchain-focused developer and polyglot functional programmer with 12 years of experience spanning academia and industry. He combines deep expertise in dependent types, type theory, compilers and formal methods with hands-on backend and smart contract development across Cardano, Aeternity and Ethereum-like ecosystems. As a professor and former postdoctoral researcher, he teaches advanced functional programming and has built compilers and theorem-prover related projects, bringing rigorous formal reasoning into production code. His industry work includes Haskell and Erlang systems for cryptocurrency platforms, data pipeline automation, and NFT/DeFi smart contracts, showing a consistent focus on correctness in distributed systems. Based in Montevideo, Uruguay, he blends research-grade type-driven design with pragmatic engineering—an unusual mix that surfaces in projects like Plutus and Sophia contract development.
11 years of coding experience
22 years of employment as a software developer
Master of Science in Engineering (M.Sc. Eng.), Formal Methods, Master of Science in Engineering (M.Sc. Eng.), Formal Methods at Universidad ORT UruguayDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Universidad de la República
English, Spanish
Github Skills (23)
postgresql-database10
api10
postgresql9
pgsql9
pg9
server9
rest9
sql9
haskell9
database9
rest-api9
http8
postgrest7
calculus7
recursion7
Programming languages (3)
Github contributions (5)
ernius/formalmetatheory-nominal-Church-Rosser
Jun 2017 - May 2018
Contributions:20 commits, 29 pushes, 1 branch in 10 months
ernius/formalmetatheory-nominal
Mar 2015 - May 2018
Contributions:69 commits, 1 PR, 64 pushes in 3 years 1 month
calculustype-theorylambda-calculusconstructiveinduction
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.