22.05.2018

Michele Alberti wins LOPSTR 2017 Best Paper Award

27th International Symposium on Logic-Based Program Synthesis and Transformation

Employee Achievement: Best Paper Award

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.

 

CONGRATULATIONS Michele!

Newsletter

Related articles

March 21, 2024