BUGSENG was founded in the Computer Science Department as a spin-off of the University of Parma in 2010.
The original Founders of BUGSENG are internationally recognized expert in programming languages and semantics-based program analysis and manipulation. The company is built on more than 20 years of advanced research on techniques for automated software analysis and verification techniques. These techniques are based on a mathematical theory of approximation that enables the design and proof of correctness of very sophisticated program verifiers.
Today BUGSENG has still a strong connection with the academic world, and we firmly reject the theory-practice dichotomy: a truly reliable and practical system can only be based on rigorous theoretical investigation.