In the age of globalization and informatization, the study of information propagation in the network of connected entities plays an important role in understanding and analyzing security and safety concerns. Entities in the network can be people, groups or computing devices, while the network is the relationship describing how one entity can influence or can be influenced by others. In epidemiology, the network of entities may correspond to the population groups and their spatial/proximity relationships. Read more about A Model Checking based Framework for Analyzing Information-Propagation over Networks
Research and Grants
Rockwell Collins, a company known for its leadership in design and development of aviation electronics, has provided funding for nine months to the Department of Computer Science at Iowa State University to address resource allocation problems in IMA (Integrated Modular Avionics) software. Read more about Addressing Resource Allocation Problem in IMA Software Design
Institute for Physical Research and Technology, Iowa State University Read more about Location Privacy Protection for Location-based Services
Integration of quantitative genetics, statistics, and computational biology for animal genetic improvement . USDA (Training grant)
Using Auto-Generated Diagnostic Trees To Support Verification of Safety-Critical Test Procedures (awarded to Jet Propulsion Laboratory) . NASA
GPU-based Implementation of Terminal Ileum Detection for Colonoscopy Quality. Iowa State University Research Foundation Read more about GPU-based Implementation of Terminal Ileum Detection for Colonoscopy Quality
Wireless IDS - Intrusion Detection in Wireless Ad Hoc Networks. NSF I/U CRC Center for Information Protection Read more about Wireless IDS - Intrusion Detection in Wireless Ad Hoc Networks
Cooperative Graduate Research Fellowship in Data Mining and Knowledge Discovery. IBM Corporation Read more about Cooperative Graduate Research Fellowship in Data Mining and Knowledge Discovery
Intergovernmental Personnel Act Assignment, Vasant Honavar, Information Integration and Informatics Program, Computer and Information Sciences and Engineering Directorate. NSF Read more about Intergovernmental Personnel Act Assignment
Secrecy-Preserving Query Answering. NSF (Co-PI Honavar not officially listed because of Conflict of interest associated with IPA appointment at NSF.). Read more about Secrecy-Preserving Query Answering
Affiliated Computer Science Faculty: Carl K. Chang, Les Miller, Alexander Stoytchev, Wallapak Tavanapong, Johnny Wong Read more about Virtual Reality Applications Center
Supertrees are phylogenies (rooted evolutionary trees) assembled from smaller phylogenies that share some but not necessarily all taxa (leaf nodes) in common. Thus, supertrees can make novel statements about relationships of taxa that do not co-occur on any single input tree while still retaining hierarchical information from the input trees. As a method of combining existing phylogenetic information, supertrees potentially solve many of the problems associated with other methods (e.g., absence of homologous characters, incompatible data types, or non-overlapping sets of taxa). In addition to helping synthesize hypotheses of relationships among larger sets of taxa, supertrees can suggest optimal strategies for taxon sampling (either for future supertree construction or for experimental design issues such as choice of outgroups), can reveal emerging patterns in the large knowledge base of phylogenies currently in the literature, and can provide useful tools for comparative biologists who frequently have information about variation across much broader sets of taxa than those found in any one tree. This web site brings together information and tools to assist phylogenetic biologists and others interested in using supertrees in their research or teaching. It provides background information on the theory and links to examples with real data. It also provides a venue for archiving of software tools for supertree construction as they become available, as well as links to other efforts in this area. Read more about Computational Biology Laboratory
With an interdisciplinary focus, research in our computational structural biology laboratory involves knowledge from multiple disciplines, such as physics, robotics, computer science, and biology. The long-term goal of our research is to understand the functional mechanisms of proteins, and to identify the roles of protein structure and dynamics in the realization of protein function. One of the primary ways in which this goal is being pursued is by developing novel computational methods that are inspired and transferred from research results in other disciplines, such as robotics. Read more about Computational Structural Biology Laboratory
The focus of Formal Methods and Verification Group is to develop formal techniques and tools for automatic verification and analysis of systems.
The Information Systems Security Laboratory (ISSL) is a security training, testing, and outreach laboratory created to support business and industry in Iowa, as well as across the Midwest region.
The ISSL is a partnership between ISU’s Information Assurance Center (IAC), the Department of Electrical and Computer Engineering, and the College of Engineering. Read more about Information Assurance Center
Molecular programming, also known as DNA nanotechnology, exploits the information-processing capabilities of nucleic acids to design self-assembling, programmable structures and devices at the nanoscale. Our research is devoted to understanding the power and limitations of this “programming of matter” and using this understanding to make DNA nanotechnology more productive, predictable, and safe. Read more about Laboratory for Molecular Programming
We explore how new software and hardware technologies can assist users with activities of daily living (ADL) in their homes for greater independence and improved quality of life.
Some broad areas of interest in the lab include:
- medication management
- nutrition management
- home automation
- home security
Software Engineering Research Group (SERG) is located in B26, Atanasoff Hall. A cluster of servers and Windows/Mac/Linux, machines are available for conducting research. Visiting scholars, post doctoral researchers and graduate students are seated in various other offices including B26C, B26D, and B26F. A SERG Library is maintained to afford access to archived research material of IEEE, ACM and other publishers that can only be found in hardcopies. Read more about Software Engineering Laboratory
The Laboratory for Wireless Networks and Systems conducts theoretical and systematical research on wireless technologies and applications, with current emphases on heterogeneous integration of wireless systems, power replenishment management and replenishment-aware scheduling for sustainable sensor networks, and security and privacy-preservation for resource-constrained systems. The laboratory is sponsored by Iowa State University, NSF (CSR, CyberTrust and NeTS), Office of Naval Research, and industry companies including Boeing, John Deere, Raytheon and Union Pacific. Read more about Laboratory for Wireless Networks and Systems
Research focused on assessment and prediction frameworks to evaluate software reliability. Read more about Laboratory for Software Safety
The laboratory for software design at Iowa State University conducts research in programming languages, compilers and software engineering. Our overarching goal is to develop tools and techniques that enable better design of software intensive systems: a better design that is easier and cheaper to implement, verify and sustain and that is more portable across computing platform differences.
Our current research focuses on grasping of deformable objects. The problem is very different from grasping rigid ones for which two types of analysis have been developed. Form closure on a rigid object eliminates all of its degrees of freedom, while force closure keeps the object in equilibrium with the ability to resist any arbitrary external wrench. A deformable object, however, has infinite degrees of freedom, which makes form closure impossible. Read more about Robotics Laboratory
Phylogenetic trees, also known as phylogenies, represent the evolutionary history of sets of species. The construction of such trees is an attempt to understand the origin of life. Phylogenies have several practical uses. For instance, they offer biologists a tool to predict gene function, by comparing and leveraging information among species related by evolution. They also help to track changes in rapidly developing organisms such as viruses or cancer cells. Read more about AF: Small: Algorithms in Phylogenetics
Proteins are fundamental elements of living organisms. They are marvelous microscopic bio-machines that function in a steady, predictable manner. Together with other elements such as DNA, they make up the basics that underlie the complexity of life. The quest to know how these bio-machines work has inspired intense scientific curiosity and imagination. Since most functions are carried out dynamically and are difficult to observe directly from experiments, computational methods have an important, irreplaceable role to play. Read more about CAREER: A Computational Framework for Mapping Ligand Migration Channel Networks and Predicting Molecular Control Mechanisms
Software is an integral part of our everyday lives, and our economy relies heavily on software working correctly. However, bugs in software cause security breaches, and cost our economy billions of dollars annually. While these high costs of bugs are well known, the software industry struggles to remedy the situation because the inherent complexity of the software makes bugs so common that new bugs are typically reported faster than developers can fix them. The goal of this project is to develop a technique that fixes bugs Read more about SHF: EAGER: Collaborative Research: Demonstrating the Feasibility of Automatic Program Repair Guided by Semantic Code Search