University of Malta brings its expertise in the fields of runtime verification and monitoring, concurrency, and type systems. The department has extensive experience in building software tools with a strong theoretical underpinning, requiring a good understanding of abstract theoretical concepts, but also an appreciation of the compromises that need to be made in order to materialise these concepts into an actual software tool that can be used in practical industrial settings. The members of the department regularly publish in top conferences and journals (TACAS, FOSSACS, FM, LMCS, FMSD) and serve on numerous programme committees and workshops (RV,SEFM). They are presently working on joint collaborations with other members of the consortium (NOVA, University of Bologna, Aalborg University) and have previously participated in H2020 SME programs with other industrial partners (Ixaris).

Leave a Reply