Design and Analysis Research Lab
| Location | NCS-234 |
| Mission | Develop of languages, algorithms, methods, and tools for constructing reliable and efficient computer programs. |
| 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. |
| Coordinator | Y. Annie Liu |
| Lab Web page | Design and Analysis Research Lab |