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.