University of Illinois has expertise on session types and interfaces, concurrent and distributed computing, sensor networks, formal methods, programming languages, programming synthesis, verification and semantics-based tools. The members of team regularly publish in top conferences (e.g., LICS, ICTA, and TACAS) and serve as PC member of leading venues (POPL, PLDI, and CONCUR). The group collaboratew on WP2, WP3 and WP4 with University of Malta, Actyx, University of Glasgow and University of Leicester.