Our faculty and affiliates engage in a broad range of collaborative research projects with our academic, government, and industry partners. While most of our projects expand beyond traditional disciplinary divides, we broadly categorize our work into the following areas:
Chris DoughtyKeywords: Carbon cycling, Remote sensing, Climate change, Tropical forests
Every year tropical forests uptake about 18% of human CO2 emissions, likely due to CO2 fertilization effects and increased forest productivity, but this uptake may be decreasing. At some point, such fertilization effects will decrease as tropical
forest growth is limited by climate change induced droughts and those human caused CO2 emissions will remain in the atmosphere further increasing global warming.
Frédéric LoulergueKeywords: Programming languages, parallel programming, calable computing
If parallel programming is to become as widespread as sequential programming, the languages supporting it should incorporate all the standard abstraction mechanisms including higher order functions, recursion, pattern matching, etc. Yet for such
languages to be practical scalable programming tools, abstraction should not come at the price of predictable performance.
Paul FlikkemaKeywords: Unmanned aerial vehicle, radio telemetry, wildlife tracking
Current methods of locating and tracking small tagged animals are hampered by the inaccessibility of their habitats. The high costs, risk to human safety, and small sample sizes resulting from current radio telemetry methods limit our understanding
of the movement and behaviors of many species. UAV-based technologies promise to revolutionize a range of ecological field study paradigms due to the ability of a sensing platform to fly in close proximity to rough terrain at very low cost.
Frédéric LoulergueKeywords: Parallel and concurrent programming, deductive verification, interactive theorem proving, static analysis, program refinment and generation
With the current generalization of parallel architectures and increasing requirement of parallel computation arises the concern of applying formal methods, which allow specifications of parallel and distributed programs to be precisely stated and the
conformance of an implementation to be verified using mathematical techniques.
Temuulen SankeyKeywords: unmanned aerial vehicale, geoinformatics, environmental informatics, ecological informatics
Dr. Sankey recently acquired a custom-engineered octocopter UAV. The UAV has a unique capability to carry a large payload including a hyperspectral sensor, which images the Earth surface in over 300 spectral bands at 5 cm resolution, and a lidar
scanner, which images the land surface and vegetation in 3-dimensions.
Chris DoughtyKeywords: Animal nutrient distribution, Diffusion models, Ecosystem ecology.
Earth system models operate in a world without animals: they largely assume that animals have negligible effects on global processes. Chris Doughty has developed models that indicate that large animals may play important roles in regional and global biogeochemical cycles.
Viacheslav FofanovKeywords: bioinformatics, microbial forensics
Our work aims to address one of the major questions in microbial forensics: "did query sample A come from source sample B"? Here, we leverage the advances in High Throughput Sequencing technologies to enable sample attribution via rare variants -
SNPs and indels present in very low frequencies in bacterial populations (as low as 0.1%).
Bertrand CambouKeywords: Cybersecurity, Physically Unclonable Functions, True Random Number Generators, ReRAM.
This research project is focused on hardware-software solutions based on Secure Elements (micro-controllers with embedded secure memories), components that are widely distributed on terminals, mobile devices, banking cards, ID/passports, and Internet
Temuulen SankeyKeywords: ecological informatics, invasive speciesTamarisk trees have invaded many riparian ecosystems across the southwestern US. A bio-control agent, known as the tamarisk beetle, was introduced in the Grand Canyon, Arizona in 2009 to
control the invasive tamarisk. Using high-resolution multispectral images and 3-dimensional lidar data, we are quantifying the impact of the tamarisk beetle on tamarisk distribution and individual tree biomass.
John GeorgasKeywords: software engineering, visualizationThis newly-initiated project is focused on developing the next generation of architectural visualization techniques that both integrate animated elements showing runtime system behavior and
also explore fundamentally different types of visualization approaches that leverage color and three-dimensional shapes to better support understanding the behavior and interactions of software module.
Temuulen SankeyKeywords: ecological informatics, climate changeWe are conducting a regional analysis to determine how dryland plant communities in the southwestern US respond to climate change. We integrate past local and regional patterns in climate
with long-term vegetation datasets to identify plant species and functional types that increase or decrease with climate change.
Paul FlikkemaKeywords: cyber-physical systems, ecological informatics, real-time streaming systemsSEGA cyberinfrastructure (CI) will form a critical component of SEGA’s network of experimental gardens. It will be a fully integrated cyber-physical
design, with physical control of temperature across a 1500-m elevational gradient and cyber control of water availability using a sensor-actuator network.
Viacheslav FofanovKeywords: bioinformatics, pathogen detection,
Our group is working on developing, testing, and implementing accurate and cost-effective bacterial and fungal pathogen detection approaches to enable sustainable long-term monitoring and surveillance of wildlife reservoirs. Our focus is on
one such important wild animal order, Chiroptera (bats), which is a very successful mammalian order with more than 1,200 species of bats distributed across all regions of the planet, except the Arctic, Antarctic, and some island chains.
John GeorgasKeywords: software engineering, pedagogy, reflective design learningThis project is investigating strategies to better foster design learning in undergraduate computer science courses and centers on constructivist learning theories,
particularly reflection-based learning. Our approach focuses on the centrality of structured reflection over a design problem -- called a
-- to result in a reflective narrative -- called a