Location
Mission
Details
Visit the lab page for a list of current projects.
Coordinator
Lab Web Page
Description
Publication Date
Location
Mission
Details
Past accomplishments include the development of the Concurrency Factory, Concurrency Workbench and PIOATool tool suites; and the modeling and verification of real-life applications such as the Rether real-time ethernet protocol and the Java virtual machine meta-locking algorithm.
Typically each graduate student can expect to have a personal workstation and access to large memory compute servers.
Coordinator
Lab Web Page
Location
Mission
Details
The laboratory has projects in modeling and specification, analysis and verification, design and optimization, code generation, and testing. These projects are for optimizing compilers, interactive environments, real-time and embedded systems, database systems, semantic Web, distributed systems, big data analysis, and security.