Guillermo Gomez has over 20 years experience in Embedded and Enterprise Software working with Real-Time Embedded Operating Systems, Software Composition Analysis for OSS as well as Application Lifecycle Management tools. As Solutions Engineer at TrustInSoft, Guillermo helps customers who want to ensure the best quality of their software to adopt methods for removing every single bug in their code while increasing project efficiency.

TrustInSoft is a leader in advanced software analysis tools and services that specializes in formal verification of C and C++ source code to ensure safety, security and reliability. Recognized by the US National Institute of Standards and Technology (NIST) for leveraging advanced formal methods, including abstract interpretation, TrustInSoft can mathematically guarantee analyzed software is free of critical runtime errors and vulnerabilities. TrustInSoft serves a diverse range of industries including automotive, aerospace, defense, consumer electronics, and IoT industries.