Research Projects

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:

Cyber and Software SystemsEcological and Environmental InformaticsHealth and Bioinformatics

Understanding Tropical Forest Productivity

Chris Doughty
Keywords: 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.

High-Level Parallel Programming

Frédéric Loulergue
Keywords: 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.

UAV Tracking System for Monitoring Wildlife

Paul Flikkema
Keywords: 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.

Analysis and Certification of Parallel Programs

Frédéric Loulergue
Keywords: 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.

Unmanned Aerial Vehicles Expand Geoinformatics Research at NAU

Temuulen Sankey
Keywords: 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.

Role of Animals in Distributing Nutrients

Chris Doughty
Keywords: 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.

Microbial Forensics via Minority and Rare Variant Profiles

Viacheslav Fofanov
Keywords: 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%).

Cybersecurity with Secure Elements

Bertrand Cambou
Keywords: 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 of Things.

Detecting an Invasive Species in the Grand Canyon

Temuulen Sankey
Keywords: ecological informatics, invasive species
Tamarisk 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.

Runtime Architectural Visualization

John Georgas
Keywords: software engineering, visualization
This 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.

Climate Change and Plant Community Composition in the Southwestern US

Temuulen Sankey
Keywords: ecological informatics, climate change
We 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.

SEGA Cyberinfrastructure

Paul Flikkema
Keywords: cyber-physical systems, ecological informatics, real-time streaming systems
SEGA 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.

Pathogen Detection and Transmission in Wildlife Reservoirs

Viacheslav Fofanov
Keywords: 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.

Design Challenges and Stories: Reflective Design Learning

John Georgas
Keywords: software engineering, pedagogy, reflective design learning
This 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 design challenge -- to result in a reflective narrative -- called a design story.