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