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
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