Juan is a Plutus Pioneer Programmer from the first cohort. He has been in the Cardano ecosystem for many years, where he has developed his skills as a software developer and analyst. He has a degree in Computer Systems Development and a law degree. His inspiration is the thoughts of Nick Szabo. He combines his love for decentralized systems with his passion for contracts. He currently spends his time researching formal contract verification in the cardano ecosystem.