Our goal is to advance the state-of-the-art research and education in design, modeling, and algorithmic techniques for building reliable, secure software often for safety and mission critical applications. The specific focus includes (1) modeling, design, verification, and automated analysis and synthesis of complex software; (2) design and analysis of novel resource management and security algorithms for real-time and distributed computing systems; and (3) design and analysis of efficient algorithms for computationally challenging problems that arise in computational biology, computational physics, weather forecasting, and precision agriculture.
Current Research Areas
- Parallel and distributed computing
- Bioinformatics and computational science
- Software engineering with focus on tools to improve productivity and reliability
- Software security
- Real-time and embedded systems
- Computer forensics
Faculty in This Group
|
|
Research Centers
- Information Infrastructure Institute (iCUBE)
- Information Assurance Center
- Plant Sciences Institute and L.H. Baker Center for Bioinformatics and Biological Statistics
- Virtual Reality Applications Center (VRAC)
Laboratories
- Computer labs
- Discrete Event Systems Lab
- iCUBE Sensors Application Laboratory