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)
  • Daji Qiao
  • Diane Rover
  • Neil Gong
  • Alexander Stoytchev
  • Srikanta Tirthapura
  • Doug Jacobson
  • Mai Zheng

Research Centers


  • Computer labs
  • Discrete Event Systems Lab
  • iCUBE Sensors Application Laboratory