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.

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.

Our work focuses on explaining visual data for Computer Vision, Computer Graphics and Medical Image Analysis, through the appropriate physical and statistical models. A central interest is in modeling the interaction of 3D shape and illumination.

Statistical approaches and computational models for Natural Language Processing and Computational Linguistics. Interdisciplinary research connecting Natural Language Processing with Computer Vision, Psychology, and Cognitive Science.

Room 1203 is designated for graduate laptop access. There are 8 wired ethernet ports, in addition to wireless access throughout the room. Use the following network settings:

Configure your laptop to receive IP address automatically i.e. to use DHCP.

Specifically, configure it to

• Obtain an IP address automatically
• Obtain DNS server address automatically

N/A

Access to the laboratory is primarily for students taking Computer Science courses. 

Access to the laboratory is primarily for students taking Computer Science courses.