Design and Analysis Research Lab

Location CS 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
Lab Web page Design and Analysis Research Lab