Software Systems

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