• Computational Biology
• Computational Science
• Computer forensics
• Distributed Algorithms
• Internet QoS and Security
• Parallel Computing
• Real-time/Embedded Systems
• Software Engineering
• Software Verification

Srinivas Aluru
Professor
Area: Computational biology and science

Manimaran Govindarasu
Associate Professor
Area: Real-time/Embedded Systems, Internet QoS and Security

Yong Guan
Assistant Professor
Computer forensics

Suresh Kothari
Professor
Area: Software engineering

Tien Nguyen
Assistant Professor
Area: Software engineering

Diane Rover
Associate Dean, Professor
Area: Real-time/Embedded Systems

Srikanta Tirthapura
Assistant Professor
Area: Distributed algorithms
• Viren Amin
• Brett Bode (Ames Laboratory)
• Morris Chang
• Tom Daniels
• Julie Dickerson
• Ahmed Kamal
• Ratnesh Kumar
• John Lamont
• Glenn Luecke (Mathematics Department)
• Daji Qiao
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.