The goal of the research is to determine which genes in microbes of the genus Burkholderia allow them to cross a barrier in stinkbug guts which blocks any other microbes. Mutant clones of the microorganism will be prepared to deactivate genes suspected of playing a role in allowing passage of Burkholderia in the gut. These […]

Photosynthesis and respiration are major processes that influence the carbon cycle and will be impacted by future changes in precipitation. Short-term exposure to drought can decrease photosynthetic rates and growth, but plants can acclimate and adjust to water deficits over the long-term by changing their leaf physiology. The rate of acclimation may depend on nitrogen […]

Formal verification involves with proving properties about a system to make sure that the system is not free of bugs. There are two main methods for verification which are called model checking and theorem proving. Most current approaches to systems biology rely on model checking. Model checking is more automatic but not as general and […]