Home > News

Paxos automatically determined safe and secure

Two researchers have debunked the common assumption that the famous Paxos consensus protocol is too complex to be proven safe without hours of manual labor.

Getting a robotics final project in the mail

Students create Michigan web application to curb COVID-19

CS course engages students on COVID-19 solutions

More Videos >