We are a software development company located in Montevideo, Uruguay. Our agile methodology helps us build different functional versions of our customers ideas, so we can...more later modify them taking into account users experiences and feedback.
AuthenticateMe™ empowers consumers to verify the authenticity of trademarks and registered brand names at participating retailers before they buy. Lessen your chances of buying...more counterfeit, buy at an AuthenticateMe™ licensed retailers.
Revelatte is the best place to share and enjoy the most awesome public announcements on the Internet. Entertain, inspire and amaze people around the world with funny, heartwarming...more or shocking content in a few seconds.
I enjoy building everything from web apps for startups to industrial critical systems. If I'm not working remotely on projects for clients all over the world, I'm learning new technologies or doing research at Universidad ORT.
Business: More than 6 years working in the startup ecosystem.
Research: In computer science, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems. The use of formal methods for software is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. I'm using formal methods verify industry critical algorithms