Section: Highlights of the Year

Highlights of the Year

The book on "Petri Net Synthesis" [44] co-authored by Eric Badouel, Luca Bernardinello, and Philippe Darondeau was published in October 2015 by Springer-Verlag in the EATCS Series "Texts in Theoretical Computer Science". This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. It is also a tribute to Philippe who passed away two years ago and could not see the final result of this project.

The SUMO team also welcomes the arrival of Ocan Sankur as a CNRS researcher. After a PhD at LSV (ENS Cachan) in 2013 supervised by Patricia Bouyer and Nicolas Markey, Ocan Sankur did a post-doc at Université Libre de Bruxelles in the group of Jean-François Raskin. His research work focuses on the robustness of quantitative systems, for their verification and synthesis.