Famous Paxos distributed protocol 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 testing-free future
How automated guarantees that our most complex programs are secure and trustworthy can save us time, money, and anxiety.
Hardware model checker takes gold at international competition
The system automatically proves the trustworthiness of a hardware design, outperforming the competition in nearly every category.
Predoctoral Fellowship for mathematically provable hardware design
Goel designs algorithms that can automatically demonstrate the correctness of hardware systems.
CSE faculty bring significant showing to major systems conference
Researchers designed three new systems to speed up code at several key bottlenecks.
A journey from the Ibn Sina School to Graduate School at U-M
The School helps to prepare undergraduate students in the Middle East and North Africa (MENA) region for successful careers in computer science research.
Karem Sakallah Continues Commitment to Qatar Computing Research Institute
Karem Sakallah Named ACM Fellow
Two CSE faculty help make the Ibn Sina School for computer science a reality
Computer Scientists Win Best Paper Award at Turing Centenary Conference
EECS Spinoffs recognized as Key Innovators in Business Competition
Congratulations to these winning companies. Go Blue!