Department of Electrical and Computer Engineering

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.

The group consists of about six core faculty and several associated faculty. The group actively involved in developing a new undergraduate degree program in software engineering.

Our specific areas of research include:

• 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

The sources of research funding include NSF, ONR, DARPA, IBM, Lockheed Martin, Rockwell Collins, Sun Microsystems, Procter & Gamble, Guidant, Integrated DNA Technologies, and the Power Systems Engineering Research Center.

Research Centers

• Information Infrastructure Institute
• Information Assurance Center
• Plant Science Institute and L.H. Baker Center
• Virtual Reality Applications Center (VRAC)
  
  

Laboratories

• Computer labs
• Discrete Event Systems Lab
• iCube Wireless and Sensor Networking Laboratory
  
  

Group Website

• Software Systems Group