Home > News
Paxos automatically determined safe and secureTwo researchers have debunked the common assumption that the famous Paxos consensus protocol is too complex to be proven safe without hours of manual labor.
Building a better environmentA trio of faculty and staff leaders behind these efforts share their thoughts on how to strengthen the culture and climate of the Division.
Using negative probability for quantum solutionsProbabilities with a negative sign have been of great use in quantum physics.
Undergraduate researcher takes first place at ACM competitionAs the top undergraduate student, Serafina Kamp will advance to the ACM Grand Finals.
Five ways to keep vaccine cold storage equipment safe from hackersA medical security expert outlines the risks and how hospitals can protect themselves.
Three researchers earn MICRO Test of Time for groundbreaking timing speculation workTodd Austin, David Blaauw, Trevor Mudge, and a group of alumni were recognized by ACM MICRO for their landmark 2003 paper.
More News >