Juan Mateu is a Software Development Engineer with nine years of experience, currently working at Amazon from Madrid. He combines proven hands-on delivery with the scale and operational rigour of a major tech company, focusing on building reliable software systems. Educated at the Universidad Politécnica de Madrid, he brings strong technical foundations and a pragmatic approach to problem solving. Based in Spain, he blends local market insight with global product execution. Though public open-source footprint appears limited, his sustained tenure at Amazon signals deep experience in production-grade engineering and cross-functional collaboration.
Python Symbolic Execution and Automated Tester. PySEAT is a python module which automates test case generation for programs manipulating complex structures (e.g., Binary Search Trees or AVLs) using symbolic execution with lazy initialization.
Contributions:261 commits, 12 PRs, 51 pushes in 1 year
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.