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
  • Software security
  • Real-time and embedded systems
  • Computer forensics

Faculty in This Group

  • Samik Basu
  • Thomas Daniels
  • Manimaran Govindarasu
  • Yong Guan
  • Suraj Kothari
  • Ratnesh Kumar
  • Glenn Luecke (Mathematics Department)
  • Tien Nguyen 
  • Daji Qiao
  • Diane Rover
  • Kathryn Stolee
  • Alexander Stoytchev
  • Srikanta Tirthapura (group chair)
  • David Weiss

Research Centers

Laboratories

Group Website