West Japan Business Development Manager at Monoidics Ltd - London, England, United Kingdom
Monoidics provides cutting-edge solutions for formal verification, memory safety analysis, termination analysis, and security of software.Monoidics solutions are on the forefront of research in automatic formal verification and analysis. We help our clients to comply with the challenges related to high integrity, security and performance of their software products.