The researchers will develop programming tools to make non-interactive zero-knowledge proofs easier to use and reason about.

Matthew Baney blends technical expertise with hands-on leadership to keep UMIACS’ complex computing systems running smoothly.

UMIACS Postdoc Kyle Brumfield is using DNA sequencing and other technologies to study how environmental factors like climate can impact waterborne pathogens.

The award supports her work to create AI methods that help coding tools generate secure and trustworthy software.

Douglas W. Oard, interim dean of the College of Information, expects the college’s strong connection to UMIACS to continue to flourish.

The event will focus on discrete algorithms and machine learning tools that can address important challenges in molecular biology.

Students from four high schools built slingshot launchers, vied for a trophy, and watched liquid nitrogen shatter rubber balls at a daylong STEM event.

The Institute for Robust Quantum Simulation has launched its first summer program to train visiting undergraduates in quantum research.

As this year’s recipient of the award, he gave the keynote address at the ACM Symposium on Parallelism in Algorithms and Architectures in Portland, Oregon.

The researchers were recognized for revealing how Wi-Fi-based tracking systems can compromise privacy and security on a global scale.