I am a software engineer 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.
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.
"Verificación formal de algoritmos fundamentales para la
Industria" - Colmenero Zito, Guillermo
Universidad ORT Uruguay, 2016 [Link]
I'm offering my services as an independent contractor/consultant on an hourly basis through a legally registered company here in Uruguay (Pyspring). I'm also open to long-term contracts.
Email: same as skype @ gmail
Phone (US): +1 929 223 5724
Phone (UY): +598 98 898 786
Time zone: EST+1 / GMT -03:00 (UYT)
You can reach me via email to schedule a call. This tool can help you with the time zone math.