News

A University of Maryland expert in programming languages has received a National Science Foundation (NSF) award to advance the development and maintenance of large and evolving software verification projects that use proof assistants. Proof assistants are software tools to assist in proofs—formal verification—of complex mathematical equations used in computing.

This year’s loss rate for honey bee colonies was more than 6 percentage points higher than average, according to the Bee Informed Partnership’s annual nationwide survey.(Photo by Stephanie S. Cordle)

University of Maryland researchers created the first high-resolution image of an expanding bubble of hot plasma and ionized gas where stars are born. Previous low-resolution images did not clearly show the bubble or reveal how it expanded into the surrounding gas.