We are a software development and IT consulting firm. We have experience in designing, developing and supporting full-stack web and mobile solutions. We give our fresh technological...more vision and expertise to companies and use the knowledge to help innovate established businesses. Agile methodologies help us build different functional versions of our customers ideas, so we can 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.
Responsible for the information technology and computer systems. In charge of driving the analysis and re-engineering of existing "business" processes, identifying and developing...more the capability to use new tools and reshaping physical infrastructure and network access.
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