Section: Highlights of the Year

Highlights of the Year

Start-up creation. Christophe Morvan (Ass. Prof. Univ. Paris Est Marne la Vallée) has been hosted by Sumo for several years for his research activities. In 2016, he created Open Agora with two other computer scientists. The company develops a software suite to help the decision process in large structures. It offers tools to structure discussions, voting mechanisms, and automated argument summaries. The company will maintain connections with the team for the development of GAGs (Guarded Attributed Grammars) that are instrumental in the automated summary tools.

New team member. Nicolas Markey (DR CNRS) recently joined the team, after several years in LSV (Laboratoire Spécification et Vérification), Cachan. Nicolas will reinforce the activities of the team in the modeling and analysis of timed systems, abstraction techniques and game theory.