Hello!

I am a software developer from Montevideo, Uruguay. 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.

Specialties

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 (Link).

My services

I'm offering my services through pyspring. We give our fresh technological vision and expertise to companies and help them innovate their established businesses or just start from scratch.

Contact

Skype: guillermocolmenero
Email: same as skype @ gmail
Phone: +598 98 898 786
Time zone: GMT: -03:00 (UYT)

You can reach me via email to schedule a call. This tool can help you with the time zone math.

Some Links

LinkedIn - linkedin.com/in/guillermocolmenero
AngelList - angel.co/guillermo-colmenero
Github - github.com/narrowfail
Crunchbase - crunchbase.com/person/guillermo-colmenero
Agency - pyspring.com