In October 2017, our dear employee, Michele Alberti attended the 27th International Symposium on Logic-Based Program Synthesis and Transformation in Namur in Belgium.
The LOPSTR series of conferences aims to stimulate and promote international research and collaboration on logic-based program development.
Michele presented the research work “Context Generation from Formal Specifications for C Analysis Tools”, co-authored with fellow researcher Julien Signoles from the CEA List – Software Security Laboratory. For its relevance, originality and technical quality, his work has won the LOPSTR 2017 Best Paper Award.
As a Start-Up company that values teamwork effort and Research & Innovation, we are truly proud of Michele’s achievement.