Design and Analysis Research Lab

Location NCS-234
Mission Develop of languages, algorithms, methods, and tools for constructing reliable and efficient computer programs.

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.

Coordinator Y. Annie Liu
Lab Web page Design and Analysis Research Lab