University of Kent has a consolidated research group on practical and theoretical aspects of  Programming languages and systems (PLAS) for a broad range of paradigms including concurrent, functional, logic, and object-oriented. The expertise of PLAS includes behavioural types (extensions with logics and time), testing, and code refactoring (e.g., WRANGLER, a refactoring tool for ERLANG, which was subject of a ref impact case study, contributed to the 100% impact evaluation for University of Kent). University of Kent also has a strong group focussed on security in behavioural types, programming language, reverse engineering and vulnerability analysis. The members from University of Kent have consolidated collaborations with University of Leicester, as well as ongoing collaborations with University of Buenos Aires. These collaborations resulted in publications in highly ranked conferences and journals (e.g., FASE, CONCUR, FACS, ESOP, POPL). Via our participation to WP2, WP3 AND WP4 we intend to continue and extend these collaborations.

Leave a Reply