Manuel MazzaraRussia, InnopolisAffiliation & position Innopolis University — head of SSE laboratory E-mailm.mazzara@innopolis.ru List of Articles in System Informatics: D. de Carvalho M. Mazzara B. Mingela L. Safina N. Troshkov A. Tchitchigin Towards Static Type-checking for Jolie // System Informatics. — 2017. — # 10. — P. 77-88