Research and Grants
This project aims to modify the representation of binary executable files by retaining information generated during various program transformations using an XML notation. If retrievable, the information lost during transformation processes could potentially improve the hardware/runtime system. Read more about CSR: Small: Meta Analysis Directed Execution
STTR Phase IB: Video Analysis Techniques for Computer-Aided Quality Control for Colonoscopy
A DNA Sequence Assembly Program. National Human Genome Research Institute, National Institutes of Health
Honors Mentor Grant . ISU Honors Program (This grant was awarded for the proposed project of James Mueller, an undergraduate student in the Freshmen Honors Program.) Read more about Honors Mentor Grant
Optimizing Virtual Reality Environmental Fidelity . Engineering Animation, Inc Read more about Optimizing Virtual Reality Environmental Fidelity
Security and Privacy Mechanisms for Wireless Mesh Networks. NSF I/U Read more about Security and Privacy Mechanisms for Wireless Mesh Networks
Interactive and Dynamic Overviews of Large, Multi-Dimensional Datasets. NSF
Integrating Functional Genomics and Quantitative Genetics. United States Department of Agriculture Read more about Integrating Functional Genomics and Quantitative Genetics
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
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
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