Design and Analysis Research Lab |
 |
Back to Research Areas/Labs |
| Location | CS 2212 |
| Mission | Development of methods and tools for constructing reliable and efficient computer systems. |
| Hardware | Sun Microsystems Sparc systems, X86 PC |
| Operating System | Solaris, Linux, MS Windows |
| Software | Standard Unix and Windows software and advanced system design and analysis toolkits. |
| Details | The laboratory has projects in modeling and specification, analysis and verification, design and optimization, code generation, and testing. These projects are for reactive systems, embedded systems, database applications, and Web information retrieval. The laboratory is spacious, comfortable, and generously equipped. |
| Funding | NSF, ONR, and industrial funding. |
| Coordinator | Annie Liu |
| Lab Web Page | Design and Analysis Research Lab |